equal
deleted
inserted
replaced
20 end; |
20 end; |
21 |
21 |
22 structure ATP_Systems : ATP_SYSTEMS = |
22 structure ATP_Systems : ATP_SYSTEMS = |
23 struct |
23 struct |
24 |
24 |
|
25 open Clausifier |
25 open Sledgehammer_Util |
26 open Sledgehammer_Util |
26 open Sledgehammer_Fact_Preprocessor |
|
27 open Sledgehammer_HOL_Clause |
27 open Sledgehammer_HOL_Clause |
28 open Sledgehammer_Fact_Filter |
28 open Sledgehammer_Fact_Filter |
29 open Sledgehammer_Proof_Reconstruct |
29 open Sledgehammer_Proof_Reconstruct |
30 open Sledgehammer_TPTP_Format |
30 open Sledgehammer_TPTP_Format |
31 open ATP_Manager |
31 open ATP_Manager |