Re: [isabelle] Using timeLimit with tactics



On Friday 18 May 2012 20:08:30 Jasmin Blanchette wrote:
> Let me point you to a working example. In "src/HOL/TPTP/CASC_Setup.thy",
> there's a "SOLVE_TIMEOUT" tactical you can copy paste and use. I got the
> code from Stefan Berghofer. I won't claim it's 100% fool-proof, but it
> works well enough for me. ;)

Ah, that code makes a lot of sense, thanks - I doubt I would've been able to 
come up with it on my own ;)

Best,
Ognjen





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