On 10/01/18 21:46, Tobias Nipkow wrote: > > I seem to remember Lamport makes a > similar point but it is not in his "How to write a proof".]
The paper is called "How to Write a Long Formula" and available e.g. here: https://lamport.azurewebsites.net/pubs/lamport-howtowrite.ps.Z In the early Isar years I have actually studied both "How to write ..." papers with some interest, but ended up ignoring most of the ideas. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
