| changeset 3523 | 23eae933c2d9 |
| parent 3073 | 88366253a09a |
| child 3852 | e694c660055b |
--- 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