coq/contrib/correctness/examples, branch master The formal proof system Cleanup: remove old correctness files, unused for a long time 2009-03-11T13:36:35+00:00 letouzey 2009-03-11T13:36:35+00:00 40b63c61d2bc22a3cbaac6cfcf3793e7b0297ef2 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11971 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11971 85f007b7-540e-0410-9357-904b9bb8a0f7
réparation d'un bug de Correctness: whd_programs ne doit pas réduire les terms contenant des Evar pas des Metas; mise à jour des exemples 2001-04-11T07:56:19+00:00 filliatr 2001-04-11T07:56:19+00:00 8a7452976731275212f0c464385b380e2d590f5e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1577 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1577 85f007b7-540e-0410-9357-904b9bb8a0f7
portage exemples Correctness; changement du nom de pred_of_minus dans coq_omega 2001-04-10T14:45:40+00:00 filliatr 2001-04-10T14:45:40+00:00 7fe97cf3e53fe94c6a6bdd2a0a5c869d9bf7092e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1573 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1573 85f007b7-540e-0410-9357-904b9bb8a0f7
réparation Correctness; options Extraction (changement de syntaxe) 2001-04-10T13:21:45+00:00 filliatr 2001-04-10T13:21:45+00:00 2bb2d480b547e58deb2ec62791c8990ecac777b0 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1571 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1571 85f007b7-540e-0410-9357-904b9bb8a0f7
exemples Correctness 2001-04-09T14:25:41+00:00 filliatr 2001-04-09T14:25:41+00:00 01b8dc21e73e222dfe66488cf0a8a76fd0efdf10 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1562 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1562 85f007b7-540e-0410-9357-904b9bb8a0f7