aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/NArith/Nminmax.v
Commit message (Expand)AuthorAge
* OrderedType implementation for various numerical datatypes + min/max structuresGravatar letouzey2009-11-03