renamed addaltern to addafter, addSaltern to addSafter
renamed addaltern to addafter, addSaltern to addSafter

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