> On 15 May 2018, at 14:51, Makarius <makar...@sketis.net> wrote: > > Maybe also a campaign to get rid of unnecessary syntax ambiguity.
Totally. Most of the time it is completely unnecessary _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
