Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <03739-0@swan.cl.cam.ac.uk>; Thu, 18 Jun 1992 22:39:21 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA09748;
          Thu, 18 Jun 92 14:26:50 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA09731;
          Thu, 18 Jun 92 14:26:37 -0700
Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) 
          id AA13660; Thu, 18 Jun 92 17:24:42 EDT
Date: Thu, 18 Jun 92 17:24:38 EDT
From: shb@com.oracorp
Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA14040;
          Thu, 18 Jun 92 17:24:38 EDT
Message-Id: <9206182124.AA14040@sparta.oracorp.com>
To: info-hol@edu.uidaho.cs.ted
Subject: HOL88 directory structure

I changed the directory structure of our HOL88 2.0 implementation here
before I learned of the "install" command and its dependence on a
particular directory structure, and we don't have a copy of the
original source immediately available.  Now I've been asked to provide
HOL to another site, as soon as possible, and would like to be able to
use "install".  Will someone please tell me what the first few levels
of the main HOL directory are supposed to look like?  I think the only
problem is that I moved the "help" entires, but I'm not sure.

Steve Brackin
ORA Corporation