src/HOL/Sledgehammer.thy
changeset 36064 48aec67c284f
parent 36062 194cb6e3c13f
child 36375 2482446a604c
     1.1 --- a/src/HOL/Sledgehammer.thy	Mon Mar 29 18:44:24 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Mon Mar 29 19:49:57 2010 +0200
     1.3 @@ -99,7 +99,6 @@
     1.4  setup Sledgehammer_Fact_Preprocessor.setup
     1.5  use "Tools/Sledgehammer/sledgehammer_hol_clause.ML"
     1.6  use "Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML"
     1.7 -setup Sledgehammer_Proof_Reconstruct.setup
     1.8  use "Tools/Sledgehammer/sledgehammer_fact_filter.ML"
     1.9  use "Tools/ATP_Manager/atp_manager.ML"
    1.10  use "Tools/ATP_Manager/atp_wrapper.ML"