coq/contrib/setoid, branch master

Changement de place de la tactique Setoid_rewrite

2001-07-10T12:03:32+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1840 85f007b7-540e-0410-9357-904b9bb8a0f7

2001-06-26T11:08:37+00:00

implication.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1810 85f007b7-540e-0410-9357-904b9bb8a0f7

2001-06-25T09:23:34+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1802 85f007b7-540e-0410-9357-904b9bb8a0f7

2001-06-20T13:28:34+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1799 85f007b7-540e-0410-9357-904b9bb8a0f7

2001-06-19T08:01:20+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1796 85f007b7-540e-0410-9357-904b9bb8a0f7

2001-06-12T16:19:37+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1782 85f007b7-540e-0410-9357-904b9bb8a0f7