Happy to agree Larry
> On 1 Feb 2018, at 16:23, Tobias Nipkow <nip...@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.
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
