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 |