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
*
Ajout de lemmes
mohring
2002-03-13
*
*** empty log message ***
desmettr
2002-03-07
*
petits changements afin de profiter du nouveau Rewrite/in
barras
2002-03-05
*
Nouveau Rewrite-in plus economique
barras
2002-03-04
*
Ajout andb_true_eq pour PolyList.list_beq
herbelin
2002-02-28
*
Doc + ajout fold_symmetric et nth_In
herbelin
2002-02-22
*
Doc
herbelin
2002-02-22
*
code mort dans tactinterp; plus de Debug On/Off dans Correctness
filliatr
2002-02-21
*
Uniformisation des theoremes dans Set et Type (def. de Acc_rect et
barras
2002-02-19
*
option -dump-glob pour coqdoc
filliatr
2002-02-14
*
Syntaxe IF then else au lieu de either and_then or_else
barras
2002-02-14
*
changement generation de schema d'elimination, False_rec est primitif, Constr...
mohring
2002-01-31
*
modification de la definition des def inductives unitaires et autorisation d'...
mohring
2002-01-29
*
Bug affichage de O (de nat) dans une expression sur Z
herbelin
2002-01-25
*
Zdiv et Zmod dans Zcomplements
filliatr
2002-01-25
*
Bug commentaire (*i i*)
herbelin
2002-01-18
*
amadouage de coqweb
letouzey
2002-01-18
*
ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...
letouzey
2002-01-18
*
Modifs incongrues dans le précédent commit
herbelin
2002-01-10
*
MAJ des Id pour coqweb
herbelin
2002-01-09
*
Ajout en-tête
herbelin
2002-01-07
*
Passage coqweb
herbelin
2001-12-21
*
Commentaire coqweb non fermé
herbelin
2001-12-21
*
Extension de Even et Div2
herbelin
2001-12-21
*
*** empty log message ***
desmettr
2001-12-19
*
*** empty log message ***
desmettr
2001-12-07
*
*** empty log message ***
desmettr
2001-12-07
*
Amélioration nommage hypothèses NewInduction (et incompatibilités)
herbelin
2001-12-06
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
*** empty log message ***
desmettr
2001-12-05
*
Traitement t de -1<>0
delahaye
2001-12-04
*
Backtrack sur le commit du 30.11.2001
delahaye
2001-12-04
*
*** empty log message ***
desmettr
2001-12-03
*
*** empty log message ***
desmettr
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
Ajout du fichier
desmettr
2001-11-30
*
Modification de Reals pour integrer les modifications
desmettr
2001-11-30
*
Ajout du fichier concernant le carre et la racine carree
desmettr
2001-11-30
*
Integration de nouveaux lemmes
desmettr
2001-11-30
*
*** empty log message ***
desmettr
2001-11-30
*
Intégration de nouveaux lemmes.
desmettr
2001-11-30
*
remise au gout du jour du repertoire theories/Sorting de la V6.3
letouzey
2001-11-21
*
Ajout d'un fichier Max dans Arith, et enrichissement du Min.
letouzey
2001-11-15
*
Ajout des fonctions tail-recursives tail_plus et tail_mult.
letouzey
2001-11-15
[next]