diff -r 6c29cfab679c -r 9a449a91425d src/HOL/IOA/NTP/Packet.thy
--- a/src/HOL/IOA/NTP/Packet.thy	Sun Nov 12 16:29:12 1995 +0100
+++ b/src/HOL/IOA/NTP/Packet.thy	Mon Nov 13 12:06:57 1995 +0100
@@ -6,7 +6,7 @@
 Packets
 *)
 
-Packet = Arith +
+Packet = Arith + Multiset +  
 
 types