coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	new congruence	corbinea	2005-08-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7298 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Open Scope non Local malencontreux	herbelin	2005-05-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6987 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Utilisation Z_scope	herbelin	2005-05-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6982 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- changement ordre arguments interp_goal_concl pour permettre application	herbelin	2005-02-21
\| \| \| \| \| \| \| \|	partielle - amélioration traduction en nouvelle syntaxe git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6762 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Passage d'une bibliothèque de grands entiers naturels vers une ↵	herbelin	2004-12-24
\| \| \| \| \| \|	bibliothèques de grands entiers relatifs munis des 4 opérations de base git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6499 85f007b7-540e-0410-9357-904b9bb8a0f7
*	V7 .v files for Setoid_* and Ring over setoids commented out.	sacerdot	2004-09-03
\| \| \| \| \| \| \| \| \| \|	To re-enable them I would need to back-port theories/Setoids/Setoid.v from the new syntax to the old syntax. However, since the translator is going to be removed from the next major Coq version, I am not doing it (unless required to). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6046 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nouvelle en-tête	herbelin	2004-07-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
*	reals: renamed type option into field_rel_option	marche	2004-03-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5451 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ROmega	mohring	2004-03-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5430 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Simplification preuve	herbelin	2004-03-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5417 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5038 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5035 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5034 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5033 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5026 85f007b7-540e-0410-9357-904b9bb8a0f7