removed obscure functions bump_int_list, bump_list, bump_string;
removed obscure functions bump_int_list, bump_list, bump_string;

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