example.thy revision 6516023b9db74939c0a0f79fd6cc5bc7d9bab382
theory example
imports Datatype
begin
datatype (type4) type1 =
foo |
bar type2
and (type5) type2 = "nat * type1"
and type3 = "nat * type2"
datatype type6 = bar
end