src/HOL/Sledgehammer.thy
changeset 41042 8275f52ac991
parent 40181 3788b7adab36
child 41087 d7b5fd465198
     1.1 --- a/src/HOL/Sledgehammer.thy	Tue Dec 07 09:58:52 2010 +0100
     1.2 +++ b/src/HOL/Sledgehammer.thy	Tue Dec 07 09:58:56 2010 +0100
     1.3 @@ -8,7 +8,8 @@
     1.4  
     1.5  theory Sledgehammer
     1.6  imports ATP SMT
     1.7 -uses "Tools/Sledgehammer/sledgehammer_util.ML"
     1.8 +uses "Tools/Sledgehammer/async_manager.ML"
     1.9 +     "Tools/Sledgehammer/sledgehammer_util.ML"
    1.10       "Tools/Sledgehammer/sledgehammer_filter.ML"
    1.11       "Tools/Sledgehammer/sledgehammer_atp_translate.ML"
    1.12       "Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML"