coq - The formal proof system

Age	Commit message (Expand)	Author
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-10-23	Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR	delahaye
2001-09-18	modif test const	mayero
2001-09-11	Un look un peu plus avenant aux productions des règles de grammaire	herbelin
2001-08-05	Expérimentation de NewDestruct et parfois NewInduction	herbelin
2001-07-19	modifs de preuves (plus simples)	mayero
2001-06-19	Oubli Save + je sais plus	mayero
2001-06-18	Ajouts de lemmes (pour Float)	mayero
2001-06-04	Correction bug outside	mayero
2001-05-07	ex d'utilisation de fourier avec field	mayero
2001-04-25	coqweb	filliatr
2001-04-24	correction nom	mayero
2001-04-24	Ajout de Rseries et Rtrigo_fun	mayero
2001-04-24	(Again) Little corrections for Library doc	coq
2001-04-23	Ajout Reals	mayero
2001-04-23	Ajouts Reals	mayero
2001-04-23	Minor layout adjustments for Library doc	coq
2001-04-20	Ajout tactics Reals	mayero
2001-04-20	Library doc adjustments (until page 140)	coq
2001-04-19	Mise de (*i autour CVS info	mohring
2001-04-19	Changement syntax pour Rinv	mayero
2001-04-19	Ajout de Field	delahaye
2001-04-11	documentation automatique de la bibliothèque standard	filliatr
2001-03-15	entetes	filliatr
2001-02-14	Renommage des variables dans les schémas d'induction	herbelin
2001-02-08	modif de la syntax: assoc a droite pour Ring	mayero
2001-01-25	Modif de l'axiomatisation pour enlever les /\ de _ne	mayero
2001-01-11	corr bug -	mayero
2001-01-11	Mise a jour Rbase	mohring
2000-12-22	* empty log message *	mayero
2000-12-15	pb niveau	mayero
2000-12-06	Prise en compte `?' dans les `` ``	herbelin
2000-12-05	Reparation d'un bug de pretty-print	delahaye
2000-11-27	La bonne modif des Unfold	herbelin
2000-11-27	Suppression de Unfold inutile et maintenant échouant	herbelin