Return-Path: Delivery-Date: Received: from cs.uidaho.edu (actually ted.cs.uidaho.edu !OR! info-hol-request@cs.uidaho.edu) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 8 Jul 1993 12:46:05 +0100 Received: by cs.uidaho.edu (16.6/2.0) id AA26517; Thu, 8 Jul 93 04:34:51 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from sun2.nsfnet-relay.ac.uk by cs.uidaho.edu (16.6/2.0) id AA26512; Thu, 8 Jul 93 04:34:44 -0700 Via: uk.ac.sheffield.dcs; Thu, 8 Jul 1993 12:33:32 +0100 Received: from snark.dcs.shef.ac.uk by dcs.shef.ac.uk (4.1/DAVE-1.0) id AA13882; Thu, 8 Jul 93 12:34:08 BST Date: Thu, 8 Jul 93 12:34:08 BST From: Matt Fairtlough Message-Id: <9307081134.AA13882@dcs.shef.ac.uk> Received: by snark.dcs.shef.ac.uk (4.1/SMI-4.1) id AA09866; Thu, 8 Jul 93 12:35:56 BST To: info-hol@cs.uidaho.edu Subject: HOL90 documentation We are installing hol90 in the department of computer science here at Sheffield. We do not have hol88. Are we right to assume that we need to obtain the hol88 documentation for the full versions of online help and for xholhelp? Matt Fairtlough matt@uk.ac.shef.dcs Department of Computer Science Room 115 University of Sheffield