(* Title: HOL/IOA/ROOT.ML ID: $Id$ Author: Olaf Mueller Formalization of a semantic model of I/O-Automata. See README.html for details. *) time_use_thy "meta_theory/Abstraction";