coq/test-suite/tactics, branch master The formal proof system Activation du test de Refine en v7 pour mémoire avant passage à la v8 2005-12-21T23:15:50+00:00 herbelin 2005-12-21T23:15:50+00:00 4a5523694f0b3da2b6c7e6ee7a4b03dc402d4205 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7688 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7688 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
entetes 2001-03-15T13:38:59+00:00 filliatr 2001-03-15T13:38:59+00:00 187dc15532f0c6f380d7bcb07adc2180c29fedc2 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
tests Refine 2000-07-20T16:35:38+00:00 filliatr 2000-07-20T16:35:38+00:00 f8a0d5e7f5efcd588627a2eadeb6e8f9f7d597c6 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@558 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@558 85f007b7-540e-0410-9357-904b9bb8a0f7