--- a/src/HOL/Sledgehammer.thy Sat Jul 13 00:24:05 2013 +0200
+++ b/src/HOL/Sledgehammer.thy Sat Jul 13 00:50:49 2013 +0200
@@ -11,7 +11,6 @@
keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl
begin
-
ML_file "Tools/Sledgehammer/async_manager.ML"
ML_file "Tools/Sledgehammer/sledgehammer_util.ML"
ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML"
@@ -31,6 +30,4 @@
ML_file "Tools/Sledgehammer/sledgehammer_run.ML"
ML_file "Tools/Sledgehammer/sledgehammer_isar.ML"
-setup {* Sledgehammer_Isar.setup *}
-
end