author | wenzelm |
Wed, 19 Oct 2005 21:52:37 +0200 | |
changeset 17925 | 80a528111a82 |
parent 14981 | e73f8140af78 |
child 19360 | f47412f922ab |
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"; |