Further fix to a bug (involving equational premises) in inductive definitions
Further fix to a bug (involving equational premises) in inductive definitions

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