src/HOL/Sledgehammer.thy
changeset 40067 0783415ed7f0
parent 39951 ff60a6e4edfe
child 40121 e7a80c6752c9
     1.1 --- a/src/HOL/Sledgehammer.thy	Fri Oct 22 13:49:44 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Fri Oct 22 13:54:51 2010 +0200
     1.3 @@ -10,8 +10,8 @@
     1.4  imports ATP
     1.5  uses "Tools/Sledgehammer/sledgehammer_util.ML"
     1.6       "Tools/Sledgehammer/sledgehammer_filter.ML"
     1.7 -     "Tools/Sledgehammer/sledgehammer_translate.ML"
     1.8 -     "Tools/Sledgehammer/sledgehammer_reconstruct.ML"
     1.9 +     "Tools/Sledgehammer/sledgehammer_atp_translate.ML"
    1.10 +     "Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML"
    1.11       "Tools/Sledgehammer/sledgehammer.ML"
    1.12       "Tools/Sledgehammer/sledgehammer_minimize.ML"
    1.13       "Tools/Sledgehammer/sledgehammer_isar.ML"