aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/QArith/Qminmax.v
Commit message (Expand)AuthorAge
* Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders*Gravatar letouzey2010-01-07
* Rework of GenericMinMax: new axiomatic, split logical/decidable parts, Leibni...Gravatar letouzey2010-01-07
* OrderedType implementation for various numerical datatypes + min/max structuresGravatar letouzey2009-11-03