From windley@cheetah  Sat Dec 30 09:52:53 1989
Received: by iris (5.57/3.14)
        id AA16860; Sat, 30 Dec 89 09:52:53 PST
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA18309; Sat, 30 Dec 89 09:56:05 PST
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA03045; Sat, 30 Dec 89 09:52:23 PST
Message-Id: <8912301752.AA03045@cheetah.ucdavis.edu>
To: info-hol@clover
Subject: HOL Documentation
Date: Sat, 30 Dec 89 09:52:22 -0800
From: Phil Windley <windley@cheetah>


I have finally found the space for the help directory (including the new
HOL manual) on clover.  (Major housecleaning (or diskcleaning) time here.
;-) The file is calle hol.help.tar.Z.  It is located, along with the other
HOL files in ~ftp/pub/hol on clover.ucdavis.edu.

--phil--

Phil Windley                          |  windley@cheetah.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!cheetah!windley
College of Engineering                |  (916) 752-6452 (or 3168)
University of California, Davis       |  Davis, CA 95616

