Fri, 23 Apr 2010 19:12:49 +0200 | blanchet | remove some bloat | changeset | files |
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 | changeset | files |
Fri, 23 Apr 2010 18:06:41 +0200 | blanchet | renamed module "ATP_Wrapper" to "ATP_Systems" | changeset | files |
Fri, 23 Apr 2010 17:38:25 +0200 | blanchet | move the minimizer to the Sledgehammer directory | changeset | files |
Fri, 23 Apr 2010 16:59:48 +0200 | blanchet | remove debugging code | changeset | files |
Fri, 23 Apr 2010 16:55:51 +0200 | blanchet | move some sledgehammer stuff out of "atp_manager.ML" | changeset | files |
Fri, 23 Apr 2010 16:21:47 +0200 | blanchet | give an error if no ATP is set | changeset | files |
Fri, 23 Apr 2010 16:15:35 +0200 | blanchet | move the Sledgehammer menu options to "sledgehammer_isar.ML" | changeset | files |