[isabelle-dev] Future of Nat_Transfer

[Lawrence Paulson]

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.
Larry

> 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>