[isabelle-dev] New proof method "rewrite"

[Lars Noschinski]

On 14.04.2015 15:59, Lars Noschinski wrote:
> Currently, I'm still contemplating whether it is feasible to add a
> proper ML interface in the short remaining time, but this probably
> needs to wait for the next release, too. 
Turns out, a proper ML interface is not too hard, see now 

ef4fe30e9ef1.


Writing the patterns down, however, is a quite annoying task.
-- Lars

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150415/718bc596/attachment-0002.html>