src/HOL/Sledgehammer.thy
changeset 50264 a9ec48b98734
parent 50259 9c64a52ae499
child 50923 141d8f575f6f
     1.1 --- a/src/HOL/Sledgehammer.thy	Wed Nov 28 12:25:43 2012 +0100
     1.2 +++ b/src/HOL/Sledgehammer.thy	Wed Nov 28 12:25:43 2012 +0100
     1.3 @@ -14,7 +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_isar_reconstruct.ML"
     1.8 +ML_file "Tools/Sledgehammer/sledgehammer_proof.ML"
     1.9  ML_file "Tools/Sledgehammer/sledgehammer_annotate.ML"
    1.10  ML_file "Tools/Sledgehammer/sledgehammer_shrink.ML"
    1.11  ML_file "Tools/Sledgehammer/sledgehammer_reconstruct.ML"