| changeset 47792 | 804fdf0f6006 |
| parent 47526 | 832ca5c3f1b1 |
| child 48234 | 06216c789ac9 |
| 47791:c17cc1380642 | 47792:804fdf0f6006 |
|---|---|
6 TPTP-related extensions. |
6 TPTP-related extensions. |
7 *) |
7 *) |
8 |
8 |
9 use_thys [ |
9 use_thys [ |
10 "ATP_Theory_Export", |
10 "ATP_Theory_Export", |
11 "TPTP_Interpret" |
11 "TPTP_Interpret", |
12 "THF_Arith" |
|
12 ]; |
13 ]; |
13 |
14 |
14 Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs) |
15 Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs) |
15 use_thys [ |
16 use_thy "ATP_Problem_Import"; |
16 "ATP_Problem_Import", |
|
17 "CASC_Setup" |
|
18 ]; |