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
*
Merge SetoidList2 into SetoidList.
letouzey
2009-10-19
*
Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...
letouzey
2009-10-16
*
Fix the stdlib doc compilation + switch all .v file to utf8
letouzey
2009-09-28
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
made several occurrences of (eapply ...; eauto) not rely on the lack of patte...
barras
2009-06-22
*
Intropattern: syntax {x,y,z,t} becomes (x & y & z & t), as decided in
letouzey
2008-06-01
*
Prevent the apparition of &&& when printing a (if ... then ... else false)
letouzey
2008-04-17
*
New file FMapFullAVL containing the balancing proofs about FMapAVL:
letouzey
2008-04-03
*
Rework of FMapAVL inspired by recent changes of FSetAVL:
letouzey
2008-04-03
*
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