Mon, 23 Aug 2010 17:49:18 +0200 | blanchet | destroy elim rules before checking for finite exhaustive facts | changeset | files |
Mon, 23 Aug 2010 16:12:41 +0200 | blanchet | prevent double inclusion of the fact "True_or_False" in TPTP problems | changeset | files |
Tue, 24 Aug 2010 10:07:14 +0200 | haftmann | merged | changeset | files |