coq - the Coq proof assistant

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