aboutsummaryrefslogtreecommitdiff
path: root/theories/FSets/FMapWeakList.v
AgeCommit message (Expand)Author
2009-11-02Remove various useless {struct} annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-03-04migration from Set to Type of FSet/FMap + some dependencies...letouzey
2008-02-28Some suggestions about FMap by P. Casteran: letouzey
2008-02-28cardinal is promoted to the rank of primitive member of the FMap interfaceletouzey
2008-02-05kill some useless module aliases E:=X (for better name printing, see Elie's 1...letouzey
2008-02-04Reorganization of FSet+FMap : no more files specific to Weak Sets/Mapsletouzey
2007-11-06small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is letouzey
2007-10-29Revision of the FSetWeak Interface, so that it becomes a precise letouzey
2007-05-27As suggested by Pierre Casteran, fold for FSets/FMaps now takes a letouzey
2006-06-23Passage des graphes de Function dans Type jforest
2006-06-06+ ameliorating the tactic "functional induction"jforest
2006-05-31Replacing the old version of "functional induction" with the new one. jforest
2006-05-30* suite de la revision des wrappers Makeletouzey
2006-04-29meilleur nommage pour PairOrderedTypeletouzey
2006-03-16propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...letouzey
2006-03-15renommage NoRedun vers le plus joli NoDupletouzey
2006-03-15Réparation de FSet (back to 8628)notin
2006-03-15reparation des $letouzey
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-01 17:18:39 +0000