aboutsummaryrefslogtreecommitdiff
path: root/theories/Lists/SetoidList.v
AgeCommit message (Expand)Author
2009-11-02List + SetoidList : some cleanup around predicates Exists, Forall, Forall2, F...letouzey
2009-10-19Merge SetoidList2 into SetoidList.letouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-07-20Typo in a commentletouzey
2009-01-18Various little fixes:msozeau
2008-12-26FMaps: various updates (mostly suggested by P. Casteran)letouzey
2008-12-22FMap: fold_rec + more permissive transpose hyp + various cleanupletouzey
2008-03-04migration from Set to Type of FSet/FMap + some dependencies...letouzey
2007-11-06small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is letouzey
2007-06-27- Extensions of FMap(Weak)Facts: letouzey
2007-06-26additional properties for FMap (and slight rework of SetoidList and FSetPrope...letouzey
2007-06-14oups: one file forgotten in my previous commitletouzey
2007-06-08some more properties of fold and elements in FSetPropertiesletouzey
2006-05-23Changement de précédence de l'argument du by de assert; conséquences...herbelin
2006-05-22un debut de propriétés concernant FMapletouzey
2006-05-15petit ajout concernant InAletouzey
2006-05-11decidabilite de InA letouzey
2006-05-11Duplication du fichier FSetProperties pour les ensembles Weak. letouzey
2006-04-06versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmesletouzey
2006-03-16propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...letouzey
2006-03-16utilisation de removeA dans FSetPropertiesletouzey
2006-03-15renommage NoRedun vers le plus joli NoDupletouzey
2006-03-15Typoletouzey
2006-03-15Ajout de fonctions sur les listesnotin
2006-03-15Ajout de theories/FSets contenant la partie "light" de FSets et FMap:letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 05:38:14 +0000