Up to index of Isabelle/HOLCF/IOA
theory IOA(* Title: HOLCF/IOA/meta_theory/IOA.thy ID: $Id: IOA.thy,v 1.8 2005/09/02 15:24:01 wenzelm Exp $ Author: Olaf Müller *) header {* The theory of I/O automata in HOLCF *} theory IOA imports SimCorrectness Compositionality Deadlock begin end