coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Quelques ameliorations dans Reg	desmettr	2002-07-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2907 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Regularites de pow et des sommes finies / MAJ Reg	desmettr	2002-07-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2904 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Resultats de regularite de Rabsolu / MAJ de Reg	desmettr	2002-07-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2903 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correction d'un bug dans IsCont_pt	desmettr	2002-07-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2899 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ pour Sqrt_reg	desmettr	2002-07-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2898 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	desmettr	2002-07-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2879 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Suppression de l'axiome d'extensionnalite	desmettr	2002-06-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2803 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Prise en compte de exp, cosh et sinh	desmettr	2002-06-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2791 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	desmettr	2002-06-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2776 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ranalysis.v	desmettr	2002-06-11
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2774 85f007b7-540e-0410-9357-904b9bb8a0f7