--- a/src/HOLCF/IOA/meta_theory/IOA.thy Thu Jun 12 16:47:15 1997 +0200 +++ b/src/HOLCF/IOA/meta_theory/IOA.thy Thu Jun 12 16:48:03 1997 +0200 @@ -8,6 +8,6 @@ -IOA = RefCorrectness + Compositionality +IOA = RefCorrectness + Compositionality + Deadlock