(* Title: HOLCF/IOA/ROOT.ML Author: Olaf Mueller Formalization of a semantic model of I/O-Automata. See README.html for details. *) use_thys ["meta_theory/Abstraction"];