ExHOL_DatatypeMutuallyRecursive.thy revision 067b7cf571968fe8e91212059da1590c2dfa741a
theory ExHOL_DatatypeMutuallyRecursive
imports Datatype
begin
datatype type1 =
foo |
bar type2
and type2 = "nat * type1"
end