Fri, 23 Jul 2010 21:29:29 +0200 | blanchet | keep track of clause numbers for SPASS now that we generate FOF rather than CNF problems; | changeset | files |
Fri, 23 Jul 2010 15:04:49 +0200 | blanchet | first step in using "fof" rather than "cnf" in TPTP problems | changeset | files |
Fri, 23 Jul 2010 14:07:35 +0200 | blanchet | fix polymorphic "val" | changeset | files |