[isabelle-dev] NEWS: op <infix> -> (<infix>)

Lawrence Paulson lp15 at cam.ac.uk
Thu Feb 1 17:42:42 CET 2018

Happy to agree

> On 1 Feb 2018, at 16:23, Tobias Nipkow <nipkow at in.tum.de> wrote:
> I think (simple) sections do indeed improve readbility. BUT in the light of your comments I am not keen on them in Isabelle.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180201/0535ba7f/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180201/0535ba7f/attachment.sig>

More information about the isabelle-dev mailing list