changeset 55212 | 5832470d956e |
parent 55205 | 8450622db0c5 |
child 57754 | c822c1c069f8 |
--- a/src/HOL/TPTP/sledgehammer_tactics.ML Fri Jan 31 16:07:20 2014 +0100 +++ b/src/HOL/TPTP/sledgehammer_tactics.ML Fri Jan 31 16:10:39 2014 +0100 @@ -21,6 +21,7 @@ open Sledgehammer_Util open Sledgehammer_Fact open Sledgehammer_Prover +open Sledgehammer_Prover_ATP open Sledgehammer_Prover_Minimize open Sledgehammer_MaSh open Sledgehammer_Commands