1(* Title: HOL/HOLCF/IOA/IOA.thy 2 Author: Olaf M��ller 3*) 4 5section \<open>The theory of I/O automata in HOLCF\<close> 6 7theory IOA 8imports SimCorrectness Compositionality Deadlock 9begin 10 11end 12