aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/MSets/MSetProperties.v
Commit message (Expand)AuthorAge
* Avoid declaring hints about refl/sym/trans of eq in DecidableType2Gravatar letouzey2010-01-05
* OrderedType implementation for various numerical datatypes + min/max structuresGravatar letouzey2009-11-03
* OrderedType2 : trivial lemmas are turned into tests for order.Gravatar letouzey2009-10-16
* MSets: a new generation of FSetsGravatar letouzey2009-10-13