| changeset 46320 | 0b8b73b49848 |
| parent 45876 | 40952db4e57b |
| child 46365 | 547d1a1dcaf6 |
| 46319:c248e4f1be74 | 46320:0b8b73b49848 |
|---|---|
69 structure ATP_Systems : ATP_SYSTEMS = |
69 structure ATP_Systems : ATP_SYSTEMS = |
70 struct |
70 struct |
71 |
71 |
72 open ATP_Problem |
72 open ATP_Problem |
73 open ATP_Proof |
73 open ATP_Proof |
74 open ATP_Translate |
74 open ATP_Problem_Generate |
75 |
75 |
76 (* ATP configuration *) |
76 (* ATP configuration *) |
77 |
77 |
78 type atp_config = |
78 type atp_config = |
79 {exec : string * string, |
79 {exec : string * string, |