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:

 http://isabelle.in.tum.de/repos/isabelle/file/ea322e847633/src/HOL/Tools/ATP_Manager/atp_wrapper.ML

Note that in the official Isabelle2009 release the file is actually src/HOL/Tools/atp_wrapper.ML which is also here in the repository http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2009/src/HOL/Tools/atp_wrapper.ML


	Makarius






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