coq/proofs/tmp-src, branch master The formal proof system Remove old file (1999) 2011-08-18T13:29:35+00:00 msozeau 2011-08-18T13:29:35+00:00 2370dc99519766874be7176ae6eb546018362b51 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14415 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14415 85f007b7-540e-0410-9357-904b9bb8a0f7
module Logic 1999-10-14T13:33:49+00:00 filliatr 1999-10-14T13:33:49+00:00 22e4ceb13d18c8b941f6a27cc83f547dd90104b8 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@105 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@105 85f007b7-540e-0410-9357-904b9bb8a0f7
deplacement des var. ex. dans proofs 1999-10-08T08:24:45+00:00 filliatr 1999-10-08T08:24:45+00:00 05c710f373ed0936d3c67b3189e5db13d2b9ab70 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@94 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@94 85f007b7-540e-0410-9357-904b9bb8a0f7