changeset 55287 | ffa306239316 |
parent 55285 | e88ad20035f4 |
child 55288 | 1a4358d14ce2 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Mon Feb 03 15:33:18 2014 +0100 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Mon Feb 03 16:53:58 2014 +0100 @@ -31,7 +31,7 @@ open ATP_Proof_Reconstruct open ATP_Systems open Sledgehammer_Util -open Sledgehammer_Reconstructor +open Sledgehammer_Proof_Methods open Sledgehammer_Isar open Sledgehammer_Prover