--- a/src/HOL/Sledgehammer.thy Wed Nov 28 12:21:42 2012 +0100
+++ b/src/HOL/Sledgehammer.thy Wed Nov 28 12:22:05 2012 +0100
@@ -14,6 +14,7 @@
ML_file "Tools/Sledgehammer/async_manager.ML"
ML_file "Tools/Sledgehammer/sledgehammer_util.ML"
ML_file "Tools/Sledgehammer/sledgehammer_fact.ML"
+ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML"
ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.ML"
ML_file "Tools/Sledgehammer/sledgehammer_provers.ML"
ML_file "Tools/Sledgehammer/sledgehammer_minimize.ML"