get_thm instead of obsolete Goals.get_thm; improved msg;
get_thm instead of obsolete Goals.get_thm;
improved msg;

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