src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
changeset 46320 0b8b73b49848
parent 46301 e2e52c7d25c9
child 46398 caf27e675dd1
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Jan 23 17:40:31 2012 +0100
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Jan 23 17:40:32 2012 +0100
     1.3 @@ -21,8 +21,8 @@
     1.4  
     1.5  open ATP_Util
     1.6  open ATP_Systems
     1.7 -open ATP_Translate
     1.8 -open ATP_Reconstruct
     1.9 +open ATP_Problem_Generate
    1.10 +open ATP_Proof_Reconstruct
    1.11  open Sledgehammer_Util
    1.12  open Sledgehammer_Filter
    1.13  open Sledgehammer_Provers