aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/Zminmax.v
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Updating headers.Gravatar herbelin2012-08-08
* Notation: a new annotation "compat 8.x" extending "only parsing"Gravatar letouzey2012-07-05
* Modularization of BinInt, related fixes in the stdlibGravatar letouzey2011-05-05
* First release of Vector library.Gravatar pboutill2010-12-10
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Numbers: properties of min/max with respect to 0,S,P,add,sub,mulGravatar letouzey2010-02-09
* ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedTypeGravatar letouzey2010-02-09
* Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders*Gravatar letouzey2010-01-07
* Rework of GenericMinMax: new axiomatic, split logical/decidable parts, Leibni...Gravatar letouzey2010-01-07
* Reverse order of arguments in min_case_strong for better uniformity (and comp...Gravatar letouzey2009-12-17
* OrderedType implementation for various numerical datatypes + min/max structuresGravatar letouzey2009-11-03
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Mise en forme des theoriesGravatar notin2006-10-17
* Bug ScopeGravatar herbelin2006-02-12
* Nettoyage Zmin.v, création Zmax.v et Zminmax.vGravatar herbelin2006-02-12