src/HOL/Bali/Conform.thy
changeset 41778 5f79a9e42507
parent 37956 ee939247b2fb
child 46212 d86ef6b96097
--- a/src/HOL/Bali/Conform.thy	Fri Feb 18 16:22:27 2011 +0100
+++ b/src/HOL/Bali/Conform.thy	Fri Feb 18 16:36:42 2011 +0100
@@ -16,7 +16,7 @@
 \end{itemize}
 *}
 
-types env' = "prog \<times> (lname, ty) table" (* same as env of WellType.thy *)
+type_synonym env' = "prog \<times> (lname, ty) table" (* same as env of WellType.thy *)
 
 
 section "extension of global store"