| Wed, 23 Jun 2010 12:43:09 +0200 | blanchet | fix bug with "skolem_id" + sort facts for increased readability | changeset | files |
| Wed, 23 Jun 2010 11:36:03 +0200 | blanchet | if SPASS fails at finding a proof with the SOS option turned on, turn it off and try again | changeset | files |
| Wed, 23 Jun 2010 10:20:54 +0200 | blanchet | merged | changeset | files |
| Wed, 23 Jun 2010 10:20:33 +0200 | blanchet | this looks like the most appropriate place to do the beta-eta-contraction | changeset | files |
| Wed, 23 Jun 2010 09:40:06 +0200 | blanchet | killed legacy "neg_clausify" and "clausify" | changeset | files |
| Tue, 22 Jun 2010 23:54:16 +0200 | blanchet | merged | changeset | files |
| Tue, 22 Jun 2010 23:54:02 +0200 | blanchet | factor out TPTP format output into file of its own, to facilitate further changes | changeset | files |