src/HOL/Sledgehammer.thy
changeset 41087 d7b5fd465198
parent 41042 8275f52ac991
child 41094 1dc7652ce404
     1.1 --- a/src/HOL/Sledgehammer.thy	Wed Dec 08 18:07:04 2010 +0100
     1.2 +++ b/src/HOL/Sledgehammer.thy	Wed Dec 08 22:17:52 2010 +0100
     1.3 @@ -13,8 +13,9 @@
     1.4       "Tools/Sledgehammer/sledgehammer_filter.ML"
     1.5       "Tools/Sledgehammer/sledgehammer_atp_translate.ML"
     1.6       "Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML"
     1.7 -     "Tools/Sledgehammer/sledgehammer.ML"
     1.8 +     "Tools/Sledgehammer/sledgehammer_provers.ML"
     1.9       "Tools/Sledgehammer/sledgehammer_minimize.ML"
    1.10 +     "Tools/Sledgehammer/sledgehammer_run.ML"
    1.11       "Tools/Sledgehammer/sledgehammer_isar.ML"
    1.12  begin
    1.13