coq/theories7/Logic, branch master The formal proof system Suppression des fichiers .v en ancienne syntaxe 2005-12-26T13:59:13+00:00 herbelin 2005-12-26T13:59:13+00:00 f6e1acbbe00aeb479fde229c3941e3a6a2d53068 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7733 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7733 85f007b7-540e-0410-9357-904b9bb8a0f7
Explicitation d'un nom de variable nécessaire au bon typage, suite à suppression des _ du contexte des evars 2005-03-12T15:56:26+00:00 herbelin 2005-03-12T15:56:26+00:00 be2ee6dc08ec3cbfb04cdd4b8ecc2b5326805893 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6829 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6829 85f007b7-540e-0410-9357-904b9bb8a0f7
Nouvelle en-tête 2004-07-16T20:01:26+00:00 herbelin 2004-07-16T20:01:26+00:00 763cf4f37e10d9a0e8a2a0e9286c02708a60bf08 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
Commentaires 2004-03-17T00:11:13+00:00 herbelin 2004-03-17T00:11:13+00:00 ad00dde8284e9476f98e7ad1ff90c8c95939a50e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5512 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5512 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ simplification 2004-01-27T14:37:30+00:00 herbelin 2004-01-27T14:37:30+00:00 40f6703ca86c6737d9d992154a2c879d722bb72e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5254 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5254 85f007b7-540e-0410-9357-904b9bb8a0f7
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 2003-11-29T17:48:42+00:00 herbelin 2003-11-29T17:48:42+00:00 460f679c73467c2cff5940c4ee603ec21d75aa2f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5030 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5030 85f007b7-540e-0410-9357-904b9bb8a0f7
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 2003-11-29T16:15:58+00:00 herbelin 2003-11-29T16:15:58+00:00 9058fb97426307536f56c3e7447be2f70798e081 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5026 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5026 85f007b7-540e-0410-9357-904b9bb8a0f7