simplified get_thm(s): back to plain name argument; renamed former get_thms(_silent) to get_fact(_silent);
simplified get_thm(s): back to plain name argument;
renamed former get_thms(_silent) to get_fact(_silent);

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