changeset 47148 | 0b8b73b49848 |
parent 47129 | e2e52c7d25c9 |
child 47226 | 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