index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
FSets
/
FMapAVL.v
Commit message (
Expand
)
Author
Age
*
Reorganisation of FSetAVL (consequences of remarks by B. Gregoire)
letouzey
2008-03-15
*
repair FSets/FMap after the change in setoid rewrite
letouzey
2008-03-07
*
migration from Set to Type of FSet/FMap + some dependencies...
letouzey
2008-03-04
*
Some suggestions about FMap by P. Casteran:
letouzey
2008-02-28
*
cardinal is promoted to the rank of primitive member of the FMap interface
letouzey
2008-02-28
*
Major revision: use of Function, including some non-structural ones
letouzey
2008-02-10
*
kill some useless module aliases E:=X (for better name printing, see Elie's 1...
letouzey
2008-02-05
*
small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is
letouzey
2007-11-06
*
Revision of the FSetWeak Interface, so that it becomes a precise
letouzey
2007-10-29
*
A generic preprocessing tactic zify for (r)omega
letouzey
2007-07-18
*
As suggested by Pierre Casteran, fold for FSets/FMaps now takes a
letouzey
2007-05-27
*
fix for bug #1347 (no more Scope pollution by FSets)
letouzey
2007-05-25
*
Passage des graphes de Function dans Type
jforest
2006-06-23
*
+ ameliorating the tactic "functional induction"
jforest
2006-06-06
*
Replacing the old version of "functional induction" with the new one.
jforest
2006-05-31
*
* suite de la revision des wrappers Make
letouzey
2006-05-30
*
suite de l'ajout des FSets/FMaps dans les theories standards
letouzey
2006-04-29