index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
FSets
/
FSetInterface.v
Commit message (
Expand
)
Author
Age
*
migration from Set to Type of FSet/FMap + some dependencies...
letouzey
2008-03-04
*
Nicer third spec of choose.
letouzey
2008-02-28
*
better comments in FSetInterface
letouzey
2008-02-08
*
Reorganization of FSet+FMap : no more files specific to Weak Sets/Maps
letouzey
2008-02-04
*
Revision of the FSetWeak Interface, so that it becomes a precise
letouzey
2007-10-29
*
Cleanup attempt of Hints in *Interface.v files.
letouzey
2007-10-21
*
Rework of FSetProperties, in order to add more easily a Properties functor
letouzey
2007-06-14
*
As suggested by Pierre Casteran, fold for FSets/FMaps now takes a
letouzey
2007-05-27
*
FSetInterface: new item choose_equal in the spec S (request of P. Casteran)
letouzey
2007-02-28
*
3*rien
letouzey
2006-05-15
*
pour coqdoc
letouzey
2006-03-29
*
propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...
letouzey
2006-03-16
*
Réparation de FSet (back to 8628)
notin
2006-03-15
*
reparation des $
letouzey
2006-03-15
*
Ajout de theories/FSets contenant la partie "light" de FSets et FMap:
letouzey
2006-03-15
*
suppression de FSets (redevient une contrib)
filliatr
2003-06-24
*
changement de spécif du fold
letouzey
2003-06-13
*
FSets, mais pas compile' par make world
filliatr
2003-06-13