author | wenzelm |
Sat, 02 Sep 2000 21:51:14 +0200 | |
changeset 9805 | 10b617bdd028 |
parent 9000 | c20d58286a51 |
child 12218 | 6597093b77e7 |
permissions | -rw-r--r-- |
6488 | 1 |
(* Title: HOL/IOA/ROOT.ML |
3071 | 2 |
ID: $Id$ |
3 |
Author: Olaf Mueller |
|
4 |
Copyright 1997 TU Muenchen |
|
5 |
||
6217 | 6 |
This is the ROOT file for the formalization of a semantic model of |
7 |
I/O-Automata. See the README.html file for details. |
|
3071 | 8 |
*) |
9 |
||
6217 | 10 |
goals_limit := 1; |
3071 | 11 |
|
9000 | 12 |
time_use_thy "meta_theory/Abstraction"; |
13 |
time_use "meta_theory/ioa_package.ML"; |
|
14 |
time_use "meta_theory/ioa_syn.ML"; |