coq/contrib/jprover/opname.ml, branch master The formal proof system Moved JProver to a user contribution (as was decided a long time ago) 2009-01-04T21:49:41+00:00 herbelin 2009-01-04T21:49:41+00:00 50a4cdd38f3c80306b1f200c699dd6504d2b410a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11746 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11746 85f007b7-540e-0410-9357-904b9bb8a0f7
An intuitionistic first-order theorem prover -- JProver. 2002-03-22T13:29:25+00:00 huang 2002-03-22T13:29:25+00:00 c2f4625e7e0fea969da5b44a0ea543ebfdc32d87 See the "README" file for more information. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2563 85f007b7-540e-0410-9357-904b9bb8a0f7 
See the "README" file for more information.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2563 85f007b7-540e-0410-9357-904b9bb8a0f7