Re: [isabelle] Isabelle2016-RC0: cvc4 crashing



> On 14.01.2016, at 19:49, Eugene W. Stark <isabelle-users at starkeffect.com> wrote:
> 
> Where do I put this magic incantation?

Right after the proof goal or lemma you are trying to prove, directly in the text editor (at the point where you would normally invoke Sledgehammer through its dedicated panel). E.g.

    lemma "x = x"
    sledgehammer [overlord]

Jasmin





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