Re: [isabelle] Sledgehammer 2015 oddity



Dear Eugene,

> On 02.08.2015, at 18:12, Eugene W. Stark <stark at cs.stonybrook.edu> wrote:
> 
> I just ran into a variant of this which I think is a bona fide example of what
> Jasmin is looking for.

Thank you for your report. It appears to work fine with a recent repository version (e.g. 48600872b12c). After the 2015 release, I sorted out a number of issues related to preplaying.

Regards,

Jasmin





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