Re: [isabelle-dev] NEWS: op -> ()

I'd prefer to keep things simple. I do like your recent syntactic innovations, but such things need to be introduced with care. And the inner syntax is considerably more delicate. Larry > On 2 Feb 2018, at 10:50, Makarius wrote: > > The general concept behind it is

Re: [isabelle-dev] NEWS: op -> ()

On 01/02/18 17:23, Tobias Nipkow wrote: > > I think (simple) sections do indeed improve readbility. BUT in the light > of your comments I am not keen on them in Isabelle. We do not need yet > more syntactic sugar. For the record, here are a few more questions: >> Here are also some notes from