| Mon, 26 Apr 2010 21:20:43 +0200 | blanchet | introduced direct proof reconstruction code, eliminating the need for the "neg_clausify" method; | file | diff | annotate |
| Sun, 25 Apr 2010 11:38:46 +0200 | blanchet | support readable names even when Isar proof reconstruction is enabled -- useful for debugging | file | diff | annotate |
| Fri, 23 Apr 2010 19:36:49 +0200 | blanchet | cosmetics | file | diff | annotate |
| Fri, 23 Apr 2010 19:12:49 +0200 | blanchet | remove some bloat | file | diff | annotate |
| Fri, 23 Apr 2010 17:38:25 +0200 | blanchet | move the minimizer to the Sledgehammer directory | file | diff | annotate | base |