index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
FSets
/
FSetFullAVL.v
Commit message (
Expand
)
Author
Age
*
FSetCompat: a compatibility wrapper between FSets and MSets
letouzey
2009-10-20
*
Merge SetoidList2 into SetoidList.
letouzey
2009-10-19
*
Init/Tactics.v: tactic with nicer name 'exfalso' for 'elimtype False'
letouzey
2009-10-08
*
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
*
ZArith/Int: no need to load romega here (but rather in FullAVL)
letouzey
2009-03-28
*
Switched to "standardized" names for the properties of eq and
herbelin
2009-01-01
*
FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec...
letouzey
2008-12-17
*
- notations &&& and ||| equivalent to andb and orb,
letouzey
2008-03-27
*
One more AVL reorganisation: separate pure functions from proofs + functional...
letouzey
2008-03-21
*
still some useless invariants in FSetAVL
letouzey
2008-03-20
*
Reorganisation of FSetAVL (consequences of remarks by B. Gregoire)
letouzey
2008-03-15