author | mueller |
Mon, 12 Jan 1998 17:51:32 +0100 | |
changeset 4563 | 6b9a8e956af9 |
parent 3071 | 981258186b71 |
child 4816 | 64f075872f69 |
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 |
||
6 |
This is the ROOT file for the formalization of a semantic model of I/O-Automata. |
|
7 |
||
8 |
See the README.html file for details. |
|
9 |
||
10 |
Should be executed in the subdirectory HOLCF/IOA/meta_theory. |
|
11 |
*) |
|
12 |
||
13 |
||
14 |
goals_limit:=1; |
|
15 |
||
16 |
loadpath := ["meta_theory"]; |
|
17 |
||
18 |
use_thy"IOA"; |
|
4563 | 19 |
use_thy"Abstraction"; |
20 |
use_thy"TrivEx"; |
|
21 |
use_thy"TrivEx2"; |