src/HOL/Sledgehammer.thy
changeset 51179 0d5f8812856f
parent 51178 06689dbfe072
child 52555 6811291d1869
     1.1 --- a/src/HOL/Sledgehammer.thy	Mon Feb 18 12:16:02 2013 +0100
     1.2 +++ b/src/HOL/Sledgehammer.thy	Mon Feb 18 12:16:27 2013 +0100
     1.3 @@ -19,7 +19,7 @@
     1.4  ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML"
     1.5  ML_file "Tools/Sledgehammer/sledgehammer_preplay.ML"
     1.6  ML_file "Tools/Sledgehammer/sledgehammer_compress.ML"
     1.7 -ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.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"
    1.11  ML_file "Tools/Sledgehammer/sledgehammer_mepo.ML"