aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/MSets/MSetToFiniteSet.v
Commit message (Expand)AuthorAge
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders*Gravatar letouzey2010-01-07
* integrate MSetToFiniteSet into the compilation (and fix it)Gravatar letouzey2009-12-08
* MSets: a new generation of FSetsGravatar letouzey2009-10-13