mengj [Mon, 28 Nov 2005 07:15:38 +0100] rev 18274
Added two functions for CNF translation, used by other files.
mengj [Mon, 28 Nov 2005 07:15:13 +0100] rev 18273
Added in four control flags for HOL and FOL translations.
Changed functions that perform HOL/FOL translations, and write ATP input to files.
Removed some functions that are no longer needed.
mengj [Mon, 28 Nov 2005 07:14:12 +0100] rev 18272
Slight modification to trace information.
mengj [Mon, 28 Nov 2005 07:13:43 +0100] rev 18271
Added two methods "vampire" and "eprover" that handle both HOL and FOL proofs.
Still have old verions of "vampireH","vampireF", "eproverH", "eproverF", which can be called to handle HOL or FOL problems.