Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 1 Sep 1993 21:58:19 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA13486;
          Wed, 1 Sep 93 13:51:47 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from inet-gw-2.pa.dec.com by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA13482; Wed, 1 Sep 93 13:51:46 -0700
Received: by inet-gw-2.pa.dec.com; id AA12424; Wed, 1 Sep 93 13:51:47 -0700
Received: by lilac.pa.dec.com; id AA27458; Wed, 1 Sep 93 13:51:46 -0700
Message-Id: <9309012051.AA27458@lilac.pa.dec.com>
To: info-hol@dworshak.cs.uidaho.edu
Subject: "How to Write a Proof"
Date: Wed, 01 Sep 93 13:51:46 -0700
From: lamport@src.dec.com
X-Mts: smtp


I have been advised that the question of how to write proofs has been
discussed on this mailing list.  A paper of mine titled "How to Write
a Proof" may therefore be of interest.  It can be obtained in
Postscript form by anonymous FTP from gatekeeper.dec.com.  The name of
the file is:

    /pub/DEC/SRC/research-reports/SRC-094.ps.Z

Leslie Lamport