| changeset 3523 | 23eae933c2d9 |
| parent 3073 | 88366253a09a |
| child 3852 | e694c660055b |
| 3522:a34c20f4bf44 | 3523:23eae933c2d9 |
|---|---|
82 ~rsending(s) & |
82 ~rsending(s) & |
83 rsending(t)}" |
83 rsending(t)}" |
84 |
84 |
85 |
85 |
86 receiver_ioa_def "receiver_ioa == |
86 receiver_ioa_def "receiver_ioa == |
87 (receiver_asig, {([],{|},{|},False,False)}, receiver_trans)" |
87 (receiver_asig, {([],{|},{|},False,False)}, receiver_trans,{},{})" |
88 |
88 |
89 end |
89 end |