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; Tue, 24 May 1994 19:32:40 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA05058;
          Tue, 24 May 1994 12:14:03 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from puma.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA05054;
          Tue, 24 May 1994 12:14:03 -0600
From: Paul "E." Black <black@lal.cs.byu.edu>
Received: by puma.cs.byu.edu (1.38.193.4/CS-Client) id AA25875;
          Tue, 24 May 1994 12:15:33 -0600
Date: Tue, 24 May 1994 12:15:33 -0600
Message-Id: <9405241815.AA25875@puma.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: re: A few new services on the HOL Information server

That URL should be <a HREF="http://lal.cs.byu.edu/lal/hol-documentation.html>
HOL information server</a>.

-paul-

Paul E. Black                   Laboratory for Applied Logic
black@lal.cs.byu.edu            3308 TMCB
p.black@ieee.org                Brigham Young University
voice: +1 801 378 8113          Provo, Utah   84602
<A href="http://lal.cs.byu.edu/people/black.html">Mosaic page</A>