author | wenzelm |
Tue, 30 May 2000 16:08:38 +0200 | |
changeset 9000 | c20d58286a51 |
parent 6488 | 271969bb7f95 |
child 12218 | 6597093b77e7 |
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; time_use_thy "meta_theory/Abstraction"; time_use "meta_theory/ioa_package.ML"; time_use "meta_theory/ioa_syn.ML";