Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by nene.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 31 Mar 1995 23:26:51 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA265478056;
          Fri, 31 Mar 1995 15:14:16 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from bobcat.cs.byu.edu by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA265448054;
          Fri, 31 Mar 1995 15:14:15 -0700
Received: from cs.byu.edu (localhost) 
          by bobcat.cs.byu.edu (1.37.109.15/CS-Client) id AA075258145;
          Fri, 31 Mar 1995 15:15:45 -0700
Message-Id: <199503312215.AA075258145@bobcat.cs.byu.edu>
To: info-hol@cs.byu.edu
Subject: correction to URL
Date: Fri, 31 Mar 1995 15:15:44 -0700
From: Phil Windley <windley@cs.byu.edu>


With egg on his face, Phil submits the following corrected URL for the
"new_threoy `HOL`;;" book:

   http://lal.cs.byu.edu/lal/holdoc/birtwistle/all/all.html

The old URL will work, but it mispells Graham's name (apolgies).

--phil--