changeset 46321 | 484dc68c8c89 |
parent 43804 | eb9be23db2b7 |
child 46324 | e4bccf5ec61e |
46320:0b8b73b49848 | 46321:484dc68c8c89 |
---|---|
5 |
5 |
6 TPTP-related extensions. |
6 TPTP-related extensions. |
7 *) |
7 *) |
8 |
8 |
9 use_thys [ |
9 use_thys [ |
10 "ATP_Export" |
10 "ATP_Theory_Export" |
11 ]; |
11 ]; |
12 |
12 |
13 Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs) |
13 Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs) |
14 use_thy "CASC_Setup"; |
14 use_thy "CASC_Setup"; |