author | oheimb |
Tue, 21 Apr 1998 17:22:03 +0200 | |
changeset 4816 | 64f075872f69 |
parent 4563 | 6b9a8e956af9 |
child 6217 | 9dac1ee185e3 |
permissions | -rw-r--r-- |
(* Title: HOL/IOA/meta_theory/ROOT.ML ID: $Id$ Author: Olaf Mueller Copyright 1997 TU Muenchen This is the ROOT file for the formalization of a semantic model of I/O-Automata. See the README.html file for details. Should be executed in the subdirectory HOLCF/IOA/meta_theory. *) goals_limit:=1; loadpath := ["meta_theory"]; use_thy"Abstraction"; use_thy"TrivEx"; use_thy"TrivEx2";