renamed (in Sublist): postfix ~> suffixeq, and dropped infix syntax >>=
renamed (in Sublist): postfix ~> suffixeq, and dropped infix syntax >>=

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