--- a/src/HOL/UNITY/Simple/Channel.thy Thu Feb 21 20:08:09 2002 +0100
+++ b/src/HOL/UNITY/Simple/Channel.thy Thu Feb 21 20:09:19 2002 +0100
@@ -8,7 +8,7 @@
From Misra, "A Logic for Concurrent Programming" (1994), section 13.3
*)
-Channel = WFair + Option +
+Channel = WFair +
types state = nat set