| Mon, 02 Jan 2012 14:32:20 +0100 | blanchet | removed special handling for set constants in relevance filter | changeset | files |
| Mon, 02 Jan 2012 14:26:57 +0100 | blanchet | reintroduced Sledgehammer call taken out by 9bc924006136, with some hints to guide the naive relevance filter | changeset | files |
| Mon, 02 Jan 2012 14:12:20 +0100 | blanchet | killed unfold_set_const option that makes no sense now that set is a type constructor again | changeset | files |