coq - The formal proof system

Age	Commit message (Expand)	Author
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
2001-09-11	Du bon usage des commentaires coqweb	herbelin
2001-09-11	Conformité des commentaires au format coqweb	herbelin
2001-08-30	Fin de la modif Exc/option	mohring
2001-08-29	ajout option , Exc --> option, et lemmes dans les theories	mohring
2001-08-13	Rétablissement nom de section Map après résolution bugs surcharge de noms	herbelin
2001-08-13	Protection des commentaires pour coqtex et coqweb	herbelin
2001-08-05	Expérimentation de NewDestruct et parfois NewInduction	herbelin
2001-07-19	modifs de preuves (plus simples)	mayero
2001-07-16	modif Map section	mohring
2001-07-10	Ajout du .v pour la tactique Setoid_replace	clrenard
2001-06-19	Oubli Save + je sais plus	mayero
2001-06-18	Ajouts de lemmes (pour Float)	mayero