[isabelle] sledgehammer info



Hi,

Is there a way to get the sledgehammer to tell me exactly what input
and options it is passing to the external ATPs?

Thanks!
Mike





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