equal
deleted
inserted
replaced
55 types subst = "nat => typ" |
55 types subst = "nat => typ" |
56 -- {* type variable substitution *} |
56 -- {* type variable substitution *} |
57 |
57 |
58 instance "typ" :: type_struct .. |
58 instance "typ" :: type_struct .. |
59 instance list :: (type_struct) type_struct .. |
59 instance list :: (type_struct) type_struct .. |
60 instance fun :: (type, type_struct) type_struct .. |
60 instance "fun" :: (type, type_struct) type_struct .. |
61 |
61 |
62 |
62 |
63 subsection {* Substitutions *} |
63 subsection {* Substitutions *} |
64 |
64 |
65 consts |
65 consts |