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
*
Oubli Save + je sais plus
mayero
2001-06-19
*
Ajouts de lemmes (pour Float)
mayero
2001-06-18
*
Ajout du paradoxe de Berardi dans Logic (preuve que EM => PI dans CCI)
barras
2001-06-18
*
Correction bug outside
mayero
2001-06-04
*
Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l...
herbelin
2001-05-31
*
Correction d'un bug du pretty-print
clrenard
2001-05-29
*
Modification pour passage p-automates
mohring
2001-05-15
*
ex d'utilisation de fourier avec field
mayero
2001-05-07
*
coqweb
filliatr
2001-04-25
*
correction nom
mayero
2001-04-24
*
Ajout de Rseries et Rtrigo_fun
mayero
2001-04-24
*
(Again) Little corrections for Library doc
coq
2001-04-24
*
Ajout Reals
mayero
2001-04-23
*
Ajouts Reals
mayero
2001-04-23
*
(One more) Minor layout adjustments for Library doc
coq
2001-04-23
*
Minor layout adjustments for Library doc
coq
2001-04-23
*
Ajout tactics Reals
mayero
2001-04-20
*
Library doc adjustments (until page 140)
coq
2001-04-20
*
typo
filliatr
2001-04-19
*
Ajout de fonctions proposees par Cuiht Alvarado
mohring
2001-04-19
*
BoolEq.v, une egalite generique a valeur dans bool
mohring
2001-04-19
*
remplace Zarith par ZArith
mohring
2001-04-19
*
remplace Zarith par ZArith
mohring
2001-04-19
*
Mise de (*i autour CVS info
mohring
2001-04-19
*
Mise de (*i autour CVS info
mohring
2001-04-19
*
Mise de (*i autour CVS info
mohring
2001-04-19
*
*** empty log message ***
mohring
2001-04-19
*
Remplacement Euclid_def Euclid_proof par Euclid
mohring
2001-04-19
*
Changement syntax pour Rinv
mayero
2001-04-19
*
Ajout de Field
delahaye
2001-04-19
*
Ajout de l'egalite de John Major
mohring
2001-04-12
*
coqweb
filliatr
2001-04-11
*
documentation automatique de la bibliothèque standard
filliatr
2001-04-11
*
Ajout lemmes arithmetiques
mohring
2001-04-08
*
ajout des lemmes Zimmerman
mohring
2001-04-08
*
Ajout de lemmes sur les booleens
mohring
2001-03-30
*
Introduction d'une preuve de False_rec
mohring
2001-03-30
*
Bibliotheque Num
mohring
2001-03-26
*
entetes
filliatr
2001-03-15
*
Renommage des variables dans les schémas d'induction
herbelin
2001-02-14
*
modif de la syntax: assoc a droite pour Ring
mayero
2001-02-08
*
simplification du make depend; fonctions de stat. util. memoire dans certains...
filliatr
2001-02-08
*
*** empty log message ***
mohring
2001-02-01
*
- coqc : option -image
filliatr
2001-02-01
*
Modif de l'axiomatisation pour enlever les /\ de _ne
mayero
2001-01-25
*
Ajout d'un parseur d'entiers sous forme de pattern
herbelin
2001-01-19
*
Essai d'axiomatisation des numeral
mohring
2001-01-15
*
Ajout de commentaire coqweb
mohring
2001-01-15
*
corr bug -
mayero
2001-01-11
*
Mise a jour Rbase
mohring
2001-01-11
[next]