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

[Lawrence Paulson]

Happy to agree
Larry

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