src/HOL/Sledgehammer.thy
changeset 43085 0a2f5b86bdd7
parent 42616 92715b528e78
child 46950 d0181abdbdac
     1.1 --- a/src/HOL/Sledgehammer.thy	Tue May 31 11:21:47 2011 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Tue May 31 16:38:36 2011 +0200
     1.3 @@ -11,8 +11,6 @@
     1.4  uses "Tools/Sledgehammer/async_manager.ML"
     1.5       "Tools/Sledgehammer/sledgehammer_util.ML"
     1.6       "Tools/Sledgehammer/sledgehammer_filter.ML"
     1.7 -     "Tools/Sledgehammer/sledgehammer_atp_translate.ML"
     1.8 -     "Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML"
     1.9       "Tools/Sledgehammer/sledgehammer_provers.ML"
    1.10       "Tools/Sledgehammer/sledgehammer_minimize.ML"
    1.11       "Tools/Sledgehammer/sledgehammer_run.ML"