moved directory src/HOLCF to src/HOL/HOLCF;
added HOLCF theories to src/HOL/IsaMakefile;
(* Title: HOLCF/IOA/meta_theory/IOA.thy Author: Olaf Müller*)header {* The theory of I/O automata in HOLCF *}theory IOAimports SimCorrectness Compositionality Deadlockbeginend