aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets/FSets.v
Commit message (Expand)AuthorAge
* FSetPositive: sets of positive inspired by FMapPositive.Gravatar letouzey2010-07-16
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...Gravatar letouzey2008-03-19
* more complete FSets.vGravatar letouzey2008-02-08
* Reorganization of FSet+FMap : no more files specific to Weak Sets/MapsGravatar letouzey2008-02-04
* Require FSets ne doit pas charger FSetToFiniteSet (qui utilise l'axiome d'ext...Gravatar letouzey2006-06-05
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...Gravatar letouzey2006-03-28