3 Author: Olaf Mueller
4 Copyright 1996,1997 TU Muenchen
5
6 The theory of I/O automata in HOLCF.
7 *)
8