Mon, 26 Apr 2010 21:17:41 +0200 | blanchet | rename options and keep track of conjecture shape (to facilitate proof reconstruction) | 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 18:11:41 +0200 | blanchet | now rename the file "atp_wrapper.ML" to "atp_systems.ML" + fix typo in "SystemOnTPTP" script | file | diff | annotate | base |