Re: [isabelle] sledgehammer+vampire 4.0 often fails



Dear Jasmin,

On 05/23/2016 06:07 PM, Jasmin Blanchette wrote:
> This will be fixed in the next Isabelle release. If you want to repair your Isabelle locally, change line 535 of

Thanks, this seems to fix it.

Christoph




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