Re: [isabelle] Isabelle2016-RC0: cvc4 crashing

> On 14.01.2016, at 19:49, Eugene W. Stark <isabelle-users at> 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]


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