| Mon, 30 Aug 2010 18:07:07 +0200 | blanchet | adjust Mirabelle | changeset | files |
| Mon, 30 Aug 2010 17:14:54 +0200 | blanchet | rule out low-level class facts | changeset | files |
| Mon, 30 Aug 2010 15:39:41 +0200 | blanchet | make Sledgehammer's relevance filter somewhat slacker | changeset | files |
| Mon, 30 Aug 2010 15:39:27 +0200 | blanchet | move imperative code to where it belongs | changeset | files |
| Mon, 30 Aug 2010 15:25:15 +0200 | blanchet | fiddle with fact filter based on Mirabelle experiments | changeset | files |
| Mon, 30 Aug 2010 12:44:00 +0200 | blanchet | allow configuration of fact filter fudge factors | changeset | files |
| Mon, 30 Aug 2010 12:21:53 +0200 | blanchet | made all fudge factors in relevance filter references, so that Mirabelle can set them (for experiments) | changeset | files |