--- a/src/HOLCF/IOA/meta_theory/IOA.thy Tue Apr 21 17:21:42 1998 +0200
+++ b/src/HOLCF/IOA/meta_theory/IOA.thy Tue Apr 21 17:22:03 1998 +0200
@@ -8,6 +8,6 @@
-IOA = SimCorrectness + RefCorrectness + Compositionality + Deadlock
+IOA = SimCorrectness + Compositionality + Deadlock