--- a/src/HOLCF/IOA/ABP/Packet.thy Thu Oct 12 18:09:06 2000 +0200 +++ b/src/HOLCF/IOA/ABP/Packet.thy Thu Oct 12 18:38:23 2000 +0200 @@ -6,7 +6,7 @@ Packets *) -Packet = Arith + +Packet = Arithmetic + types