(* Title: HOLCF/IOA/meta_theory/IOA.thy ID: Author: Olaf Mueller Copyright 1996,1997 TU Muenchen The theory of I/O automata in HOLCF. *)