author | kleing |
Mon, 21 Jun 2004 10:25:57 +0200 | |
changeset 14981 | e73f8140af78 |
parent 12218 | 6597093b77e7 |
child 17925 | 80a528111a82 |
permissions | -rw-r--r-- |
6488 | 1 |
(* Title: HOL/IOA/ROOT.ML |
3071 | 2 |
ID: $Id$ |
12218 | 3 |
Author: Olaf Müller |
3071 | 4 |
|
6217 | 5 |
This is the ROOT file for the formalization of a semantic model of |
6 |
I/O-Automata. See the README.html file for details. |
|
3071 | 7 |
*) |
8 |
||
6217 | 9 |
goals_limit := 1; |
3071 | 10 |
|
9000 | 11 |
time_use_thy "meta_theory/Abstraction"; |
12 |
time_use "meta_theory/ioa_package.ML"; |
|
13 |
time_use "meta_theory/ioa_syn.ML"; |