added of_list_limited (with limit argument); removed of_string_limited;
added of_list_limited (with limit argument);
removed of_string_limited;

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