Mon, 23 Aug 2010 18:25:49 +0200 | blanchet | weed out junk in relevance filter | changeset | files |
Mon, 23 Aug 2010 18:04:31 +0200 | blanchet | no need for "eq" facts -- good old "=" is good enough for us | changeset | files |
Mon, 23 Aug 2010 17:53:49 +0200 | blanchet | revert unintended change | changeset | files |
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 |