coq/PROBLEMES, branch master The formal proof system removed prehistoric files 2009-02-10T14:58:38+00:00 barras 2009-02-10T14:58:38+00:00 65d027ba5ffcec61e66b1a047b135bea2f281c44 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11903 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11903 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2001-09-08T08:24:02+00:00 herbelin 2001-09-08T08:24:02+00:00 64b269a68bf6dfb583ccbaf1f8a86cfd87530561 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1930 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1930 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2001-09-06T15:27:01+00:00 herbelin 2001-09-06T15:27:01+00:00 598f1cde0073d33e290cb864e2c6fe71ac690c0f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1925 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1925 85f007b7-540e-0410-9357-904b9bb8a0f7
m.a.j. PROBLEMES/TODO 2001-05-11T09:32:23+00:00 letouzey 2001-05-11T09:32:23+00:00 d8cd2855d4e3e2f77dec93b6f1dffd74a5af8468 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1744 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1744 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2001-04-13T05:13:10+00:00 herbelin 2001-04-13T05:13:10+00:00 ccc644bf2048de2259f1a16d2e0c35a1c0a40cff git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1585 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1585 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2001-03-23T23:27:01+00:00 herbelin 2001-03-23T23:27:01+00:00 9308fe24cdad24d0e84e4e96bf7b69ce2b4208e3 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1485 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1485 85f007b7-540e-0410-9357-904b9bb8a0f7
extraction naive de fix et case 2001-03-20T15:51:44+00:00 filliatr 2001-03-20T15:51:44+00:00 03682a1d55252a5ba1cc02f42bfb487b3be96e18 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1471 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1471 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2001-02-14T15:54:51+00:00 herbelin 2001-02-14T15:54:51+00:00 e84b69a1869ada65179e5588078606d564b64058 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1384 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1384 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2001-02-09T11:06:05+00:00 herbelin 2001-02-09T11:06:05+00:00 511df45b436bbc4811b84e901f76c48c5b477d36 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1364 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1364 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2001-02-02T16:35:22+00:00 mohring 2001-02-02T16:35:22+00:00 68e703fa5e946ce9e3978aec87e3321c6d6e188e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1316 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1316 85f007b7-540e-0410-9357-904b9bb8a0f7