Take conjectures and axioms as thms when convert them to ResClause.clause format.
Take conjectures and axioms as thms when convert them to ResClause.clause format.

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