(* Title: HOLCF/IOA/meta_theory/Compositionality.thy ID: $Id$ Author: Olaf Müller License: GPL (GNU GENERAL PUBLIC LICENSE) Compositionality of I/O automata. *) Compositionality = CompoTraces