changeset 41476 | 0fa9629aa399 |
parent 40945 | b8703f63bfb2 |
child 42151 | 4da4fc77664b |
--- a/src/HOL/HOLCF/IOA/ABP/Impl.thy Sat Jan 08 00:28:31 2011 +0100 +++ b/src/HOL/HOLCF/IOA/ABP/Impl.thy Sat Jan 08 09:30:52 2011 -0800 @@ -8,7 +8,7 @@ imports Sender Receiver Abschannel begin -types +type_synonym 'm impl_state = "'m sender_state * 'm receiver_state * 'm packet list * bool list" (* sender_state * receiver_state * srch_state * rsch_state *)