syntactic tuning and restructuring of set_comprehension_pointfree simproc
syntactic tuning and restructuring of set_comprehension_pointfree simproc

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