changeset 4816 | 64f075872f69 |
parent 4563 | 6b9a8e956af9 |
child 6217 | 9dac1ee185e3 |
4815:b8a32ef742d9 | 4816:64f075872f69 |
---|---|
13 |
13 |
14 goals_limit:=1; |
14 goals_limit:=1; |
15 |
15 |
16 loadpath := ["meta_theory"]; |
16 loadpath := ["meta_theory"]; |
17 |
17 |
18 use_thy"IOA"; |
|
19 use_thy"Abstraction"; |
18 use_thy"Abstraction"; |
20 use_thy"TrivEx"; |
19 use_thy"TrivEx"; |
21 use_thy"TrivEx2"; |
20 use_thy"TrivEx2"; |