src/HOL/Sledgehammer.thy
changeset 49881 d9d73ebf9274
parent 48891 c0eafbd55de3
child 50258 1c708d7728c7
     1.1 --- a/src/HOL/Sledgehammer.thy	Tue Oct 16 18:07:59 2012 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Tue Oct 16 18:50:53 2012 +0200
     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_reconstruct.ML" 
     1.8  ML_file "Tools/Sledgehammer/sledgehammer_provers.ML"
     1.9  ML_file "Tools/Sledgehammer/sledgehammer_minimize.ML"
    1.10  ML_file "Tools/Sledgehammer/sledgehammer_mepo.ML"