author | kleing |
Mon, 21 Jun 2004 10:25:57 +0200 | |
changeset 14981 | e73f8140af78 |
parent 12218 | 6597093b77e7 |
child 17925 | 80a528111a82 |
permissions | -rw-r--r-- |
(* Title: HOL/IOA/ROOT.ML ID: $Id$ Author: Olaf Müller 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";