diff -r a34c20f4bf44 -r 23eae933c2d9 src/HOLCF/IOA/NTP/Receiver.thy
--- a/src/HOLCF/IOA/NTP/Receiver.thy	Thu Jul 17 12:44:16 1997 +0200
+++ b/src/HOLCF/IOA/NTP/Receiver.thy	Thu Jul 17 12:44:58 1997 +0200
@@ -84,6 +84,6 @@
 
 
 receiver_ioa_def "receiver_ioa == 
- (receiver_asig, {([],{|},{|},False,False)}, receiver_trans)"
+ (receiver_asig, {([],{|},{|},False,False)}, receiver_trans,{},{})"
 
 end