src/HOLCF/IOA/NTP/Sender.thy

 'm sender_state = "'m list * bool multiset * bool multiset * bool * bool"
 (*                messages   #sent           #received      header  mode *)
 
 consts
 
-sender_asig   :: 'm action signature
+sender_asig   :: "'m action signature"
 sender_trans  :: ('m action, 'm sender_state)transition set
 sender_ioa    :: ('m action, 'm sender_state)ioa
 sq            :: 'm sender_state => 'm list
 ssent,srcvd   :: 'm sender_state => bool multiset
 sbit          :: 'm sender_state => bool