src/HOL/Sledgehammer.thy
changeset 50258 1c708d7728c7
parent 49881 d9d73ebf9274
child 50259 9c64a52ae499
     1.1 --- a/src/HOL/Sledgehammer.thy	Wed Nov 28 12:21:42 2012 +0100
     1.2 +++ b/src/HOL/Sledgehammer.thy	Wed Nov 28 12:22:05 2012 +0100
     1.3 @@ -14,6 +14,7 @@
     1.4  ML_file "Tools/Sledgehammer/async_manager.ML"
     1.5  ML_file "Tools/Sledgehammer/sledgehammer_util.ML"
     1.6  ML_file "Tools/Sledgehammer/sledgehammer_fact.ML"
     1.7 +ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML"
     1.8  ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.ML" 
     1.9  ML_file "Tools/Sledgehammer/sledgehammer_provers.ML"
    1.10  ML_file "Tools/Sledgehammer/sledgehammer_minimize.ML"