aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Lists/SetoidList.v
Commit message (Expand)AuthorAge
* Typo in a commentGravatar letouzey2009-07-20
* Various little fixes:Gravatar msozeau2009-01-18
* FMaps: various updates (mostly suggested by P. Casteran)Gravatar letouzey2008-12-26
* FMap: fold_rec + more permissive transpose hyp + various cleanupGravatar letouzey2008-12-22
* migration from Set to Type of FSet/FMap + some dependencies...Gravatar letouzey2008-03-04
* small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is Gravatar letouzey2007-11-06
* - Extensions of FMap(Weak)Facts: Gravatar letouzey2007-06-27
* additional properties for FMap (and slight rework of SetoidList and FSetPrope...Gravatar letouzey2007-06-26
* oups: one file forgotten in my previous commitGravatar letouzey2007-06-14
* some more properties of fold and elements in FSetPropertiesGravatar letouzey2007-06-08
* Changement de précédence de l'argument du by de assert; conséquences...Gravatar herbelin2006-05-23
* un debut de propriétés concernant FMapGravatar letouzey2006-05-22
* petit ajout concernant InAGravatar letouzey2006-05-15
* decidabilite de InA Gravatar letouzey2006-05-11
* Duplication du fichier FSetProperties pour les ensembles Weak. Gravatar letouzey2006-05-11
* versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmesGravatar letouzey2006-04-06
* propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...Gravatar letouzey2006-03-16
* utilisation de removeA dans FSetPropertiesGravatar letouzey2006-03-16
* renommage NoRedun vers le plus joli NoDupGravatar letouzey2006-03-15
* TypoGravatar letouzey2006-03-15
* Ajout de fonctions sur les listesGravatar notin2006-03-15
* Ajout de theories/FSets contenant la partie "light" de FSets et FMap:Gravatar letouzey2006-03-15