changeset 21426 | 87ac12bed1ab |
parent 17481 | 75166ebb619b |
child 24106 | f2965bf954dc |
21425:c11ab38b78a7 | 21426:87ac12bed1ab |
---|---|
11 |
11 |
12 Unify.trace_bound:= 20; |
12 Unify.trace_bound:= 20; |
13 Unify.search_bound := 40; |
13 Unify.search_bound := 40; |
14 |
14 |
15 use_thy "LK"; |
15 use_thy "LK"; |
16 |
|
16 use_thy "ILL"; |
17 use_thy "ILL"; |
18 use_thy "ILL_predlog"; |
|
19 use_thy "Washing"; |
|
20 |
|
17 use_thy "Modal0"; |
21 use_thy "Modal0"; |
18 use_thy"T"; |
22 use_thy"T"; |
19 use_thy"S4"; |
23 use_thy"S4"; |
20 use_thy"S43"; |
24 use_thy"S43"; |