| changeset 72400 | abfeed05c323 |
| parent 70943 | ccc771091a78 |
| child 72591 | 56514a42eee8 |
--- a/src/HOL/TPTP/atp_theory_export.ML Thu Oct 08 16:36:00 2020 +0200 +++ b/src/HOL/TPTP/atp_theory_export.ML Thu Oct 08 17:02:56 2020 +0200 @@ -24,7 +24,7 @@ open ATP_Problem open ATP_Proof open ATP_Problem_Generate -open ATP_Systems +open Sledgehammer_ATP_Systems val max_dependencies = 100 val max_facts = 512