Wed, 15 Dec 2010 11:58:49 +0000 | paulson | Added two theorems about the concept of range. Tidied up the comments. | changeset | files |
Wed, 15 Dec 2010 12:08:41 +0100 | blanchet | honor "overlord" option for SMT solvers as well and don't pass "ext" to them | changeset | files |
Wed, 15 Dec 2010 11:26:29 +0100 | blanchet | make Sledgehammer's relevance filter include the "ext" rule when appropriate | changeset | files |