Mon, 06 Dec 2010 13:17:26 +0100 | blanchet | merged | changeset | files |
Mon, 06 Dec 2010 11:41:24 +0100 | blanchet | handle "max_relevant" uniformly | changeset | files |
Mon, 06 Dec 2010 11:26:17 +0100 | blanchet | honor the default max relevant facts setting from the SMT solvers in Sledgehammer | changeset | files |