14 goals_limit:=1;
15
16 loadpath := ["meta_theory"];
17
18 use_thy"IOA";
19 use_thy"Abstraction";
20 use_thy"TrivEx";
21 use_thy"TrivEx2";