renamed thms_containing_limit to FindTheorems.limit;
renamed thms_containing_limit to FindTheorems.limit;

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