src/HOL/Sledgehammer.thy
changeset 36376 e83d52a52449
parent 36375 2482446a604c
child 36377 b3dce4c715d0
     1.1 --- a/src/HOL/Sledgehammer.thy	Fri Apr 23 17:38:25 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Fri Apr 23 18:06:41 2010 +0200
     1.3 @@ -102,7 +102,7 @@
     1.4  use "Tools/Sledgehammer/sledgehammer_fact_filter.ML"
     1.5  use "Tools/ATP_Manager/atp_manager.ML"
     1.6  use "Tools/ATP_Manager/atp_wrapper.ML"
     1.7 -setup ATP_Wrapper.setup
     1.8 +setup ATP_Systems.setup
     1.9  use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML"
    1.10  use "Tools/Sledgehammer/sledgehammer_isar.ML"
    1.11