Fri, 18 Nov 2005 07:06:07 +0100 | mengj | -- combined "make_nnf" functions for both FOL and HOL vampire/eprover methods. | changeset | files |
Fri, 18 Nov 2005 07:05:11 +0100 | mengj | -- removed "check_is_fol" from "make_nnf" so that the NNF procedure doesn't check whether a thm is FOL. | changeset | files |
Wed, 16 Nov 2005 19:34:19 +0100 | wenzelm | tuned document; | changeset | files |