src/HOL/Sledgehammer.thy
changeset 38021 e024504943d1
parent 38019 e207a64e1e0b
child 38023 962b0a7f544b
     1.1 --- a/src/HOL/Sledgehammer.thy	Tue Jul 27 17:49:16 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Tue Jul 27 17:56:01 2010 +0200
     1.3 @@ -97,7 +97,7 @@
     1.4  use "Tools/ATP_Manager/atp_problem.ML"
     1.5  use "Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML"
     1.6  use "Tools/ATP_Manager/async_manager.ML"
     1.7 -use "Tools/ATP_Manager/atp_manager.ML"
     1.8 +use "Tools/Sledgehammer/sledgehammer.ML"
     1.9  use "Tools/ATP_Manager/atp_systems.ML"
    1.10  setup ATP_Systems.setup
    1.11  use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML"