domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u
domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle