| changeset 43223 | c9e87dc92d9e |
| parent 42607 | c8673078f915 |
| child 43242 | 3c58977e0911 |
| 43222:d90151a666cc | 43223:c9e87dc92d9e |
|---|---|
10 "Eval_Examples", |
10 "Eval_Examples", |
11 "Normalization_by_Evaluation", |
11 "Normalization_by_Evaluation", |
12 "Hebrew", |
12 "Hebrew", |
13 "Chinese", |
13 "Chinese", |
14 "Serbian", |
14 "Serbian", |
15 "TPTP_Export" |
15 "ATP_Export" |
16 ]; |
16 ]; |
17 |
17 |
18 use_thys [ |
18 use_thys [ |
19 "Iff_Oracle", |
19 "Iff_Oracle", |
20 "Coercion_Examples", |
20 "Coercion_Examples", |