equal
deleted
inserted
replaced
65 structure ATP_Manager : ATP_MANAGER = |
65 structure ATP_Manager : ATP_MANAGER = |
66 struct |
66 struct |
67 |
67 |
68 open Sledgehammer_Util |
68 open Sledgehammer_Util |
69 open Sledgehammer_Fact_Filter |
69 open Sledgehammer_Fact_Filter |
70 open Sledgehammer_HOL_Clause |
70 open Sledgehammer_FOL_Clause |
71 open Sledgehammer_Proof_Reconstruct |
71 open Sledgehammer_Proof_Reconstruct |
72 |
72 |
73 (** problems, results, provers, etc. **) |
73 (** problems, results, provers, etc. **) |
74 |
74 |
75 type params = |
75 type params = |