coq - The formal proof system

Age	Commit message (Expand)	Author
2002-01-25	Bug affichage de O (de nat) dans une expression sur Z	herbelin
2002-01-25	Zdiv et Zmod dans Zcomplements	filliatr
2002-01-18	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-10	Modifs incongrues dans le précédent commit	herbelin
2002-01-09	MAJ des Id pour coqweb	herbelin
2002-01-07	Ajout en-tête	herbelin
2001-12-21	Passage coqweb	herbelin
2001-12-21	Commentaire coqweb non fermé	herbelin
2001-12-21	Extension de Even et Div2	herbelin
2001-12-19	* empty log message *	desmettr
2001-12-07	* empty log message *	desmettr
2001-12-07	* empty log message *	desmettr
2001-12-06	Amélioration nommage hypothèses NewInduction (et incompatibilités)	herbelin
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	* empty log message *	desmettr
2001-12-04	Traitement t de -1<>0	delahaye
2001-12-04	Backtrack sur le commit du 30.11.2001	delahaye
2001-12-03	* empty log message *	desmettr
2001-11-30	* 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-21	remise au gout du jour du repertoire theories/Sorting de la V6.3	letouzey
2001-11-15	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-14	Suppression d'Export redondants	herbelin
2001-11-12	suppression d'axiomes dans Rstar, Newman et Integers	letouzey
2001-11-03	interversion de deux Elim dans In_dec pour que la fonction extraite soit effi...	letouzey
2001-10-24	Suppression de Logic_Type.sigT, redondant avec Specif.sigT	herbelin
2001-10-23	Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR	delahaye
2001-09-27	Simplification de deux preuves. En outre ca simplifie leur extraction.	letouzey
2001-09-27	and_rec redondant	letouzey
2001-09-20	Transparent	barras
2001-09-19	Deplacement des setoides.	clrenard
2001-09-18	Modification de l'emplacement des fichiers pour les setoides.	clrenard
2001-09-18	modif test const	mayero
2001-09-12	Rustine pour gérer inject_nat	herbelin
2001-09-11	Un look un peu plus avenant aux productions des règles de grammaire	herbelin