--- a/src/HOL/IOA/ABP/Env.thy	Thu Nov 30 12:58:44 1995 +0100
+++ b/src/HOL/IOA/ABP/Env.thy	Fri Dec 01 12:03:13 1995 +0100
@@ -16,10 +16,10 @@
 
 consts
 
-env_asig   :: "'m action signature"
-env_trans  :: "('m action, 'm env_state)transition set"
-env_ioa    :: "('m action, 'm env_state)ioa"
-next       :: "'m env_state => bool"
+env_asig   :: 'm action signature
+env_trans  :: ('m action, 'm env_state)transition set
+env_ioa    :: ('m action, 'm env_state)ioa
+next       :: 'm env_state => bool
 
 defs