--- a/src/HOLCF/IOA/ABP/Abschannel.thy Thu Apr 22 11:00:30 1999 +0200
+++ b/src/HOLCF/IOA/ABP/Abschannel.thy Thu Apr 22 11:02:46 1999 +0200
@@ -14,7 +14,7 @@
consts
-ch_asig :: 'a abs_action signature
+ch_asig :: "'a abs_action signature"
ch_trans :: ('a abs_action, 'a list)transition set
ch_ioa :: ('a abs_action, 'a list)ioa
@@ -22,7 +22,7 @@
srch_actions :: "'m action =>(bool * 'm) abs_action option"
srch_asig,
-rsch_asig :: 'm action signature
+rsch_asig :: "'m action signature"
srch_trans :: ('m action, 'm packet list)transition set
rsch_trans :: ('m action, bool list)transition set