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"