--- a/src/HOL/HOLCF/IOA/ABP/Sender.thy Sat Jan 08 00:28:31 2011 +0100
+++ b/src/HOL/HOLCF/IOA/ABP/Sender.thy Sat Jan 08 09:30:52 2011 -0800
@@ -8,7 +8,7 @@
imports IOA Action Lemmas
begin
-types
+type_synonym
'm sender_state = "'m list * bool" -- {* messages, Alternating Bit *}
definition