get_thm(s): check facts lookup vs. old thm database;
get_thm(s): check facts lookup vs. old thm database;

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