coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Suppression d'Export redondants	herbelin	2001-11-14
*	suppression d'axiomes dans Rstar, Newman et Integers	letouzey	2001-11-12
*	interversion de deux Elim dans In_dec pour que la fonction extraite soit effi...	letouzey	2001-11-03
*	Suppression de Logic_Type.sigT, redondant avec Specif.sigT	herbelin	2001-10-24
*	Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR	delahaye	2001-10-23
*	Simplification de deux preuves. En outre ca simplifie leur extraction.	letouzey	2001-09-27
*	and_rec redondant	letouzey	2001-09-27
*	Transparent	barras	2001-09-20
*	Deplacement des setoides.	clrenard	2001-09-19