coq/contrib/jprover/README, 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
typo 2002-11-13T14:37:58+00:00 courant 2002-11-13T14:37:58+00:00 b70d84b8350fa4624e2ca2a0607981b08bf13242 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3228 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3228 85f007b7-540e-0410-9357-904b9bb8a0f7
Add citations 2002-04-04T08:54:56+00:00 huang 2002-04-04T08:54:56+00:00 cb452e26fdaa2000f5e9c4e3fa5de512626f8ee7 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2607 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2607 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