coq/contrib7/extraction, 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
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
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 2003-11-29T20:02:41+00:00 herbelin 2003-11-29T20:02:41+00:00 301d935ead634951485e3f3394576611e6a56659 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5038 85f007b7-540e-0410-9357-904b9bb8a0f7 
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 2003-11-29T19:20:31+00:00 herbelin 2003-11-29T19:20:31+00:00 4c65bcc2e055715fe4f57e7b032efd8d8cc18f70 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5035 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5035 85f007b7-540e-0410-9357-904b9bb8a0f7