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