coq/theories/Setoid, branch master The formal proof system Modification de l'emplacement des fichiers pour les setoides. 2001-09-18T13:09:47+00:00 clrenard 2001-09-18T13:09:47+00:00 b915d23eefe20c6ca9d744807c9c18b91d9fc1df git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1982 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1982 85f007b7-540e-0410-9357-904b9bb8a0f7
Ajout du .v pour la tactique Setoid_replace 2001-07-10T12:13:24+00:00 clrenard 2001-07-10T12:13:24+00:00 879b392daebf8b58f708ebadc43bda73a4e57d28 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1842 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1842 85f007b7-540e-0410-9357-904b9bb8a0f7