adding necessary syntactic functions in set_comprehension_pointfree simproc as a first step to integrate an improved simproc
adding necessary syntactic functions in set_comprehension_pointfree simproc as a first step to integrate an improved simproc

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