src/HOL/Sledgehammer.thy
changeset 50259 9c64a52ae499
parent 50258 1c708d7728c7
child 50264 a9ec48b98734
     1.1 --- a/src/HOL/Sledgehammer.thy	Wed Nov 28 12:22:05 2012 +0100
     1.2 +++ b/src/HOL/Sledgehammer.thy	Wed Nov 28 12:22:17 2012 +0100
     1.3 @@ -14,7 +14,9 @@
     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_isar_reconstruct.ML"
     1.8  ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML"
     1.9 +ML_file "Tools/Sledgehammer/sledgehammer_shrink.ML"
    1.10  ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.ML" 
    1.11  ML_file "Tools/Sledgehammer/sledgehammer_provers.ML"
    1.12  ML_file "Tools/Sledgehammer/sledgehammer_minimize.ML"