lemmas returned from ResClasimp.get_clasimp_atp_lemmas are thm rather than term.
lemmas returned from ResClasimp.get_clasimp_atp_lemmas are thm rather than term.

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