some special code equations for Id with class constraint enum after adding the set comprehension simproc to the code preprocessing
some special code equations for Id with class constraint enum after adding the set comprehension simproc to the code preprocessing

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