[isabelle-dev] Future of Nat_Transfer

Lawrence Paulson lp15 at cam.ac.uk
Thu Oct 19 15:16:03 CEST 2017

I have never understood it and generally feel terror at the sight of any transfer operation. So I would be happy to get rid of it.

> On 19 Oct 2017, at 12:56, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> My suggestion would be to remove it completely.
> Any opinions on that?

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

More information about the isabelle-dev mailing list