aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/MSets/MSetFacts.v
Commit message (Expand)AuthorAge
* Made option "Automatic Introduction" active by default before too manyGravatar herbelin2010-06-08
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Avoid declaring hints about refl/sym/trans of eq in DecidableType2Gravatar letouzey2010-01-05
* Add a new vernacular command for controling implicit generalization ofGravatar msozeau2009-10-27
* MSets: a new generation of FSetsGravatar letouzey2009-10-13