changeset 72399 | f8900a5ad4a7 |
parent 71931 | 0c8a9c028304 |
child 72400 | abfeed05c323 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Thu Oct 08 16:07:10 2020 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML Thu Oct 08 16:36:00 2020 +0200 @@ -26,10 +26,9 @@ open ATP_Util open ATP_Problem +open ATP_Problem_Generate open ATP_Proof -open ATP_Problem_Generate open ATP_Proof_Reconstruct -open ATP_Satallax open ATP_Systems open Sledgehammer_Util open Sledgehammer_Proof_Methods