Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <05953-0@swan.cl.cam.ac.uk>; Thu, 2 Apr 1992 17:07:04 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA18927; Thu, 2 Apr 92 07:43:25 -0800 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA18923; Thu, 2 Apr 92 07:42:39 -0800 Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) id AA18947; Thu, 2 Apr 92 10:43:03 EST Date: Thu, 2 Apr 92 10:42:52 EST From: shb@oracorp.com Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA22768; Thu, 2 Apr 92 10:42:52 EST Message-Id: <9204021542.AA22768@sparta.oracorp.com> To: info-hol@ted.cs.uidaho.edu Subject: LIBRARIES source How can I obtain an on-line copy of the source for the LIBRARIES document for HOL88 2.0? Also, am I correct in assuming that this document supersedes all the text included in the individual hol/Library subdirectories? Steve Brackin ORA Corporation Ithaca, NY