adjusted to set/pred distinction by means of type constructor `set`
adjusted to set/pred distinction by means of type constructor `set`

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