equal
deleted
inserted
replaced
13 'm sender_state = "'m list * bool" |
13 'm sender_state = "'m list * bool" |
14 (* messages Alternating Bit *) |
14 (* messages Alternating Bit *) |
15 |
15 |
16 consts |
16 consts |
17 |
17 |
18 sender_asig :: "'m action signature" |
18 sender_asig :: 'm action signature |
19 sender_trans :: "('m action, 'm sender_state)transition set" |
19 sender_trans :: ('m action, 'm sender_state)transition set |
20 sender_ioa :: "('m action, 'm sender_state)ioa" |
20 sender_ioa :: ('m action, 'm sender_state)ioa |
21 sq :: "'m sender_state => 'm list" |
21 sq :: 'm sender_state => 'm list |
22 sbit :: "'m sender_state => bool" |
22 sbit :: 'm sender_state => bool |
23 |
23 |
24 defs |
24 defs |
25 |
25 |
26 sq_def "sq == fst" |
26 sq_def "sq == fst" |
27 sbit_def "sbit == snd" |
27 sbit_def "sbit == snd" |