Improved error message, suggesting addition of type constraints if occurrences of the recursive set remain in the fixedpoint definition.
Improved error message, suggesting addition of
type constraints if occurrences of the recursive set remain in the
fixedpoint definition.

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