Inductive sets with no introduction rules are now allowed as well.
Inductive sets with no introduction rules are now allowed as well.

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