coq - the Coq proof assistant

	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