--- a/src/HOL/IOA/NTP/Receiver.thy Sun Nov 12 16:29:12 1995 +0100
+++ b/src/HOL/IOA/NTP/Receiver.thy Mon Nov 13 12:06:57 1995 +0100
@@ -6,7 +6,7 @@
The implementation: receiver
*)
-Receiver = List + IOA + Action + Multiset +
+Receiver = List + IOA + Action +
types