aboutsummaryrefslogtreecommitdiff
path: root/theories/FSets/FMapAVL.v
AgeCommit message (Expand)Author
2009-10-19Merge SetoidList2 into SetoidList.letouzey
2009-10-16Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...letouzey
2009-09-28Fix the stdlib doc compilation + switch all .v file to utf8letouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-06-22made several occurrences of (eapply ...; eauto) not rely on the lack of patte...barras
2008-06-01Intropattern: syntax {x,y,z,t} becomes (x & y & z & t), as decided inletouzey
2008-04-17Prevent the apparition of &&& when printing a (if ... then ... else false)letouzey
2008-04-03New file FMapFullAVL containing the balancing proofs about FMapAVL:letouzey
2008-04-03Rework of FMapAVL inspired by recent changes of FSetAVL: letouzey
2008-03-15Reorganisation of FSetAVL (consequences of remarks by B. Gregoire)letouzey
2008-03-07repair FSets/FMap after the change in setoid rewriteletouzey
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-10Major revision: use of Function, including some non-structural onesletouzey
2008-02-05kill some useless module aliases E:=X (for better name printing, see Elie's 1...letouzey
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-07-18A generic preprocessing tactic zify for (r)omegaletouzey
2007-05-27As suggested by Pierre Casteran, fold for FSets/FMaps now takes a letouzey
2007-05-25fix for bug #1347 (no more Scope pollution by FSets)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-29suite de l'ajout des FSets/FMaps dans les theories standardsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:32:26 +0000