--- a/src/HOL/IOA/ABP/Sender.thy Thu Nov 30 12:58:44 1995 +0100
+++ b/src/HOL/IOA/ABP/Sender.thy Fri Dec 01 12:03:13 1995 +0100
@@ -15,11 +15,11 @@
consts
-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"
-sbit :: "'m sender_state => bool"
+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
+sbit :: 'm sender_state => bool
defs