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, 8 Jun 1995 18:52:30 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA154143630;
          Thu, 8 Jun 1995 09:00:30 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from ultrastar.EE.CORNELL.EDU by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA154103628;
          Thu, 8 Jun 1995 09:00:28 -0600
Date: Thu, 8 Jun 95 11:01:31 EDT
From: mel@ultrastar.EE.CORNELL.EDU (Miriam Leeser)
Received: by ultrastar.EE.CORNELL.EDU (4.1/1.6.10+n-y-Cornell-Electrical-Engineering) 
          id AA06814; Thu, 8 Jun 95 11:01:31 EDT
Message-Id: <9506081501.AA06814@ultrastar.EE.CORNELL.EDU>
To: info-hol@leopard.cs.byu.edu
Subject: installing hol90


I am trying to install hol90.  I got the release from  
research.att.com  

It gunziped ok, and I did a tar xf and got the following directories:

contrib/	help/		library/	src/
theories/

There is no doc directory (and no examples directory either). 

The release notes say that the installation instructions are in the
doc directory.  They also say that version 90.7 has a new and improved
examples directory.

Does anyone know where I can get the doc directory from?  Just the
installation instructions would help.  

I tried the site in Germany but the directory tree seems to have
disappeared.  

Thanks, Miriam
mel@ee.cornell.edu