coq/pretyping/multcase.ml, branch master The formal proof system Pas encore pret 1999-11-26T21:22:29+00:00 herbelin 1999-11-26T21:22:29+00:00 02acee92b76ce86ca983ad779dbd20a096c6d799 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@157 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@157 85f007b7-540e-0410-9357-904b9bb8a0f7
Modification pour faire compiler pretyping.ml qui maintenant compile 1999-11-26T21:19:41+00:00 herbelin 1999-11-26T21:19:41+00:00 18a9bacd66660b23af059658116db7b812d6db06 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@156 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@156 85f007b7-540e-0410-9357-904b9bb8a0f7