Thu, 24 Jul 2014 18:46:38 +0200 | blanchet | beware of duplicate fact names | changeset | files |
Thu, 24 Jul 2014 18:46:38 +0200 | blanchet | refined filter for ATP steps to avoid 'have True' steps in E proofs | changeset | files |
Thu, 24 Jul 2014 18:46:38 +0200 | blanchet | filter out 'theory(...)' from dependencies early on | changeset | files |