Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 23 Jun 1994 07:54:00 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA01221;
          Thu, 23 Jun 1994 00:46:40 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA01213;
          Thu, 23 Jun 1994 00:46:39 -0600
Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 4.1/3.25) 
          id AA18361; Wed, 22 Jun 94 23:44:46 PDT
Message-Id: <9406230644.AA18361@maui.cs.ucla.edu>
To: info-hol@leopard.cs.byu.edu
Subject: Papers available via ftp
Date: Wed, 22 Jun 94 23:44:45 PDT
From: chou@cs.ucla.edu


The following two papers of mine are available in Postscript format
via anonymous ftp at ftp.cs.ucla.edu (131.179.128.36) in /pub/chou :

[1] dsum.ps
    "Mechanical Verification of Distributed Algorithms in Higher-Order Logic"

[2] graph.ps
    "A Formal Theory of Undirected Graphs in Higher-Order Logic"

All comments are welcomed!

- Ching Tsun