aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets/OrderedType.v
Commit message (Expand)AuthorAge
* MSets: a new generation of FSetsGravatar letouzey2009-10-13
* Init/Tactics.v: tactic with nicer name 'exfalso' for 'elimtype False'Gravatar letouzey2009-10-08
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Better compatibility after commit 11693 by adding an alias OrderedTypeFacts.e...Gravatar letouzey2008-12-17
* FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec...Gravatar letouzey2008-12-17
* migration from Set to Type of FSet/FMap + some dependencies...Gravatar letouzey2008-03-04
* * A few Parameter Inline, but they dont seem to help much concerning Gravatar letouzey2007-11-24
* Revision of the FSetWeak Interface, so that it becomes a precise Gravatar letouzey2007-10-29
* Rework of FSetProperties, in order to add more easily a Properties functor Gravatar letouzey2007-06-14
* Transparence de eq_dec et lt_dec daans OrderedTypeFactsGravatar notin2007-03-08
* suite tentative pour permettre l'utilisation de modules de FSetsGravatar letouzey2006-05-20
* meilleur nommage pour PairOrderedTypeGravatar letouzey2006-04-29
* reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...Gravatar letouzey2006-03-28
* propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...Gravatar letouzey2006-03-16
* renommage NoRedun vers le plus joli NoDupGravatar letouzey2006-03-15
* Réparation de FSet (back to 8628)Gravatar notin2006-03-15
* reparation des $Gravatar letouzey2006-03-15
* Ajout de theories/FSets contenant la partie "light" de FSets et FMap:Gravatar letouzey2006-03-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 16:09:29 +0000