changeset 9000 | c20d58286a51 |
parent 6488 | 271969bb7f95 |
child 12218 | 6597093b77e7 |
8999:ad8260dc6e4a | 9000:c20d58286a51 |
---|---|
7 I/O-Automata. See the README.html file for details. |
7 I/O-Automata. See the README.html file for details. |
8 *) |
8 *) |
9 |
9 |
10 goals_limit := 1; |
10 goals_limit := 1; |
11 |
11 |
12 use_thy "meta_theory/Abstraction"; |
12 time_use_thy "meta_theory/Abstraction"; |
13 use "meta_theory/ioa_package.ML"; |
13 time_use "meta_theory/ioa_package.ML"; |
14 use "meta_theory/ioa_syn.ML"; |
14 time_use "meta_theory/ioa_syn.ML"; |