aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets/FSetToFiniteSet.v
Commit message (Expand)AuthorAge
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Another bug in get_sort_family_of (sort-polymorphism of constants andGravatar herbelin2008-12-28
* FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec...Gravatar letouzey2008-12-17
* misc improvementsGravatar letouzey2008-02-08
* Reorganization of FSet+FMap : no more files specific to Weak Sets/MapsGravatar letouzey2008-02-04
* small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is Gravatar letouzey2007-11-06
* * suite de la revision des wrappers MakeGravatar letouzey2006-05-30
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29