src/HOL/Sledgehammer.thy
changeset 37583 9ce2451647d5
parent 37579 61a01843a028
child 37622 b3f572839570
     1.1 --- a/src/HOL/Sledgehammer.thy	Fri Jun 25 18:03:01 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Fri Jun 25 18:05:36 2010 +0200
     1.3 @@ -19,6 +19,7 @@
     1.4    ("Tools/Sledgehammer/sledgehammer_fact_filter.ML")
     1.5    ("Tools/Sledgehammer/sledgehammer_tptp_format.ML")
     1.6    ("Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML")
     1.7 +  ("Tools/ATP_Manager/async_manager.ML")
     1.8    ("Tools/ATP_Manager/atp_manager.ML")
     1.9    ("Tools/ATP_Manager/atp_systems.ML")
    1.10    ("Tools/Sledgehammer/sledgehammer_fact_minimizer.ML")
    1.11 @@ -97,6 +98,7 @@
    1.12  use "Tools/Sledgehammer/sledgehammer_fact_filter.ML"
    1.13  use "Tools/Sledgehammer/sledgehammer_tptp_format.ML"
    1.14  use "Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML"
    1.15 +use "Tools/ATP_Manager/async_manager.ML"
    1.16  use "Tools/ATP_Manager/atp_manager.ML"
    1.17  use "Tools/ATP_Manager/atp_systems.ML"
    1.18  setup ATP_Systems.setup