author | mueller |
Thu, 22 Apr 1999 11:05:48 +0200 | |
changeset 6469 | bafd705ee38e |
parent 6217 | 9dac1ee185e3 |
child 6488 | 271969bb7f95 |
permissions | -rw-r--r-- |
3071 | 1 |
(* Title: HOL/IOA/meta_theory/ROOT.ML |
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 |
|
6217 | 12 |
add_path "meta_theory"; |
3071 | 13 |
|
6217 | 14 |
use_thy "Abstraction"; |
3071 | 15 |
|
6469 | 16 |
use"~/isabelle/src/HOLCF/IOA/meta_theory/ioa_package.ML"; |
17 |
use"~/isabelle/src/HOLCF/IOA/meta_theory/ioa_syn.ML"; |