coq/test-suite/success/Abstract.v8, branch master The formal proof system Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 2005-12-21T23:50:17+00:00 herbelin 2005-12-21T23:50:17+00:00 4d4f08acb5e5f56d38289e5629173bc1b8b5fd57 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7693 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7693 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2004-03-24T18:27:49+00:00 barras 2004-03-24T18:27:49+00:00 070d631038dbf7ccbc8e0907c542588548ebe566 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5555 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5555 85f007b7-540e-0410-9357-904b9bb8a0f7