[isabelle] smt method avoidance

Dear list,

when I'm trying to use sledgehammer it give me smt method for proof my
lemmas and this repeated many times. Because using smt is not allowed by
Submission Guidelines, also I don't prefer using it, so there is such a way
to avoid smt suggestion by sledgehammer?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.