| Fri, 16 Apr 2010 16:53:00 +0200 | blanchet | optimize relevance filter by doing a Table.fold directly rather than destroying the datastructure each time; | changeset | files |
| Fri, 16 Apr 2010 16:51:54 +0200 | blanchet | output total time taken by Sledgehammer if "verbose" is set | changeset | files |
| Fri, 16 Apr 2010 16:13:49 +0200 | blanchet | Sledgehammer: the empty set of fact () should mean nothing, not unchanged | changeset | files |