to_pred/set attributes now properly handle variables of type "... => T set"
to_pred/set attributes now properly handle variables of type "... => T set"

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