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

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