Re: [isabelle] sledgehammer info

On Sun, 6 Sep 2009, Sascha Boehme wrote:

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

Please have a look at src/HOL/Tools/ATP_Manager/atp_wrapper.ML for the options
passed to the external ATPs, e.g. here:

Note that in the official Isabelle2009 release the file is actually src/HOL/Tools/atp_wrapper.ML which is also here in the repository


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