On 11/01/2018 14:10, Makarius wrote:
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

I think that is the one I meant. Don't worry, I am not suggesting we do it like that ;-)


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.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

isabelle-dev mailing list

Reply via email to