Re: [isabelle] Sledgehammer 2015 oddity
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and