renamed 'thms_containing' to 'find_theorems' -- keep old version for the time being;
renamed 'thms_containing' to 'find_theorems' -- keep old version for the time being;

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