removed splitAt (superceded by chop); removed if_none (superceded by the_default);
removed splitAt (superceded by chop);
removed if_none (superceded by the_default);

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