coq/contrib/subtac/context.ml, branch master The formal proof system Remove dead modules in Subtac. 2007-07-12T11:04:41+00:00 msozeau 2007-07-12T11:04:41+00:00 c8df59f4e115d16fba7bb4d94ac784052f3a25d6 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9973 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9973 85f007b7-540e-0410-9357-904b9bb8a0f7
Latest fixes, should work fine now for non recursive definitions, although still has some syntax problems 2006-02-21T16:21:59+00:00 coq 2006-02-21T16:21:59+00:00 fabf87214389e6fd2e784e81e51bd36a779aa3dc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8072 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8072 85f007b7-540e-0410-9357-904b9bb8a0f7
Monday work, working with coercions and implicit args 2006-02-20T17:34:11+00:00 coq 2006-02-20T17:34:11+00:00 c0559a85d38941945c36e2d1b5f6691c510e846f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8067 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8067 85f007b7-540e-0410-9357-904b9bb8a0f7
Forgot one file 2006-02-20T14:16:00+00:00 coq 2006-02-20T14:16:00+00:00 8a8f1c52f10e3a7fcbbeae483d16a85c0e608b47 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8065 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8065 85f007b7-540e-0410-9357-904b9bb8a0f7