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