index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
FSets
Commit message (
Expand
)
Author
Age
*
suite tentative pour permettre l'utilisation de modules de FSets
letouzey
2006-05-20
*
on cache autant que possible Raw dans FSet(Weak)List.Make
letouzey
2006-05-19
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8829 85f007b7-540e-04...
letouzey
2006-05-18
*
3*rien
letouzey
2006-05-15
*
ajout d'exemples de decidable types
letouzey
2006-05-15
*
reparartion d'un petit oubli cassant PrecedenceGraph
letouzey
2006-05-14
*
Duplication du fichier FSetProperties pour les ensembles Weak.
letouzey
2006-05-11
*
suite de l'ajout des FSets/FMaps dans les theories standards
letouzey
2006-04-29
*
meilleur nommage pour PairOrderedType
letouzey
2006-04-29
*
un lemme de double inclusion
letouzey
2006-04-25
*
on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa...
letouzey
2006-04-05
*
pour coqdoc
letouzey
2006-03-29
*
reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...
letouzey
2006-03-28
*
ajout d'un debut de proprietes pour les FSetWeak
letouzey
2006-03-17
*
propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...
letouzey
2006-03-16
*
utilisation de removeA dans FSetProperties
letouzey
2006-03-16
*
renommage NoRedun vers le plus joli NoDup
letouzey
2006-03-15
*
Réparation de FSet (back to 8628)
notin
2006-03-15
*
encore un essai
letouzey
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
*
doc
filliatr
2003-06-24
*
concat; debut split
filliatr
2003-06-24
*
join
filliatr
2003-06-23
*
add_tree : sur type tree plutot que sur type t
filliatr
2003-06-23
*
merge_bis et debug join
filliatr
2003-06-23
*
remov
filliatr
2003-06-20
*
merge
filliatr
2003-06-20
*
remove_min, remove_max
filliatr
2003-06-20
*
add
filliatr
2003-06-19
*
bal: preuve terminee
filliatr
2003-06-19
*
bal: premier cas hl > hr + 2
filliatr
2003-06-19
*
typo
filliatr
2003-06-19
*
AVL: suite
filliatr
2003-06-18
*
AVL: suite
filliatr
2003-06-17
*
AVL de caml: un debut
filliatr
2003-06-17
*
Ground depth
filliatr
2003-06-16
*
reparation fsets suite a changement de Ground
filliatr
2003-06-16
*
changement de spécif du fold
letouzey
2003-06-13
*
fcts tail-recursives
filliatr
2003-06-13
*
Require Export
filliatr
2003-06-13
*
FSets, mais pas compile' par make world
filliatr
2003-06-13