coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Open Scope en Local	herbelin	2003-04-12
*	Remplacement Import par Open Scope en v8	herbelin	2003-04-10
*	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".	herbelin	2003-04-09
*	* empty log message *	barras	2003-03-12
*	Amélioration de DiscrR	desmettr	2003-01-20
*	Optimisations pour Sup et RCompute	desmettr	2003-01-17
*	Ajout de RCompute	desmettr	2003-01-16
*	Ajout de la tactique Sup	desmettr	2003-01-16
*	Correction d'un petit bug dans Sup0	desmettr	2003-01-16
*	Renommage de RealsB en Rbase	desmettr	2003-01-16
*	Nouvelle interprétation des nombres réels	desmettr	2003-01-15
*	Resolution de bug (du a Auto; remplacement par lt_O_Sn)	mayero	2002-06-26
*	Nouvelle version avec INR + Amelioration de Sup0.	mayero	2002-06-20
*	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-11-30
*	Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR	delahaye	2001-10-23
*	modif test const	mayero	2001-09-18
*	Minor layout adjustments for Library doc	coq	2001-04-23
*	Ajout tactics Reals	mayero	2001-04-20