[isabelle] Question about Sledgehammer



Hello everybody,

Is it possible to see what sledgehammer sends to the automatic provers?

Thanks,
Antoine Grospellier.





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