index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
Commit message (
Expand
)
Author
Age
*
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
*
Arguments superflus pour Zlength_nil
herbelin
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
*
Deplacement de le_minus de fast_integer vers Minus
herbelin
2003-06-14
*
Deplacement de le_minus de fast_integer vers Minus
herbelin
2003-06-14
*
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
*
suite changements ZArith en vu de librairie FSet
letouzey
2003-06-13
*
quelques adaptations de Zarith en vu de la nouvelle librarie FSet
letouzey
2003-06-13
*
Deplacement d'un lemme sur nat de ZArith vers Arith
herbelin
2003-06-13
*
INZ reste constante pour compat V7 mais Unfold INZ est supprimé par le tradu...
herbelin
2003-06-12
*
Import nat_scope
herbelin
2003-06-10
*
Suppression d'une occurrence superflue d'argument de type dans Notation sacha...
herbelin
2003-06-10
*
Deplacement delimiteur T dans Notations
herbelin
2003-06-10
*
Bug niveau
herbelin
2003-05-29
*
niveau 49 devient next
herbelin
2003-05-29
*
niveau 49 devient next
herbelin
2003-05-29
*
Ne pas mettre d'associatif a droite au niveau 3 en V7
herbelin
2003-05-29
*
'only parsing' pour le passage de trucT a truc
herbelin
2003-05-27
*
"INZ" déplacé en V8 dans ZArith, juste syntaxique en V7 dans Reals
herbelin
2003-05-24
*
V8Notation
herbelin
2003-05-22
*
Ajout V8Notation
herbelin
2003-05-22
*
Concentration des notations officielles dans Init/Notations; restructuration ...
herbelin
2003-05-21
*
Notations
herbelin
2003-05-21
*
Bug
herbelin
2003-05-21
*
Amelioration presentation
herbelin
2003-05-14
*
Amelioration affichage
herbelin
2003-05-14
*
Suppression de 'R' dans la notation == entre
herbelin
2003-05-14
*
Suppression de 'R' dans la notation == entre
herbelin
2003-05-14
*
Deplacement lemmes sur fact de Reals vers Arith
herbelin
2003-05-14
*
Nouveaux lemmes
herbelin
2003-05-13
*
Nouveaux lemmes (sur proposition de Nijmegen)
herbelin
2003-05-13
*
Nouveaux lemmes (sur proposition de Nijmegen)
herbelin
2003-05-13
*
ajout inverse relation bien fondee
mohring
2003-05-09
*
coqide: toolbar/autosave
monate
2003-05-07
[next]