equal
deleted
inserted
replaced
8 |
8 |
9 goals_limit := 1; |
9 goals_limit := 1; |
10 |
10 |
11 time_use_thy "meta_theory/Abstraction"; |
11 time_use_thy "meta_theory/Abstraction"; |
12 time_use "meta_theory/ioa_package.ML"; |
12 time_use "meta_theory/ioa_package.ML"; |
13 time_use "meta_theory/ioa_syn.ML"; |
|