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