author | wenzelm |
Tue, 17 Aug 1999 22:19:25 +0200 | |
changeset 7242 | f17f2e8ba0c7 |
parent 6488 | 271969bb7f95 |
child 9000 | c20d58286a51 |
permissions | -rw-r--r-- |
(* Title: HOL/IOA/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. *) goals_limit := 1; use_thy "meta_theory/Abstraction"; use "meta_theory/ioa_package.ML"; use "meta_theory/ioa_syn.ML";