author | oheimb |
Wed, 12 Nov 1997 12:34:43 +0100 | |
changeset 4206 | 688050e83d89 |
parent 3071 | 981258186b71 |
child 4563 | 6b9a8e956af9 |
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"IOA";