in_set_butlast_appendI supersedes in_set_butlast_appendI1,2
in_set_butlast_appendI supersedes in_set_butlast_appendI1,2

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