Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <29447-0@swan.cl.cam.ac.uk>; Mon, 10 Feb 1992 14:43:34 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12241; Mon, 10 Feb 92 06:31:49 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from Sunset.AI.SRI.COM by ted.cs.uidaho.edu (16.6/1.34) id AA12237; Mon, 10 Feb 92 06:31:45 -0800 Received: from cam.sri.com by Sunset.AI.SRI.COM (4.1/SMI-4.1) id AA25859 for info-hol@ted.cs.uidaho.edu; Mon, 10 Feb 92 06:34:43 PST Received: from chepstow.cam.sri.com by cam.sri.com (4.1/4.16) id AA16222 for info-hol@ted.cs.uidaho.edu; Mon, 10 Feb 92 14:34:11 GMT Received: by chepstow.cam.sri.com (4.1/4.16) id AA10397 for info-hol@ted.cs.uidaho.edu; Mon, 10 Feb 92 14:34:10 GMT Date: Mon, 10 Feb 92 14:34:10 GMT From: Mike Gordon Message-Id: <9202101434.AA10397@chepstow.cam.sri.com> To: info-hol@edu.uidaho.cs.ted Subject: Need HOL Documentation? Arnold Smith of SRI in Cambridge tells me that they have a small number of sets of the latest HOL documentation that are surplus to their requirements. The cost for the four volumes (TUTORIAL, DESCRIPTION, REFERENCE, LIBRARIES) is 95 pounds sterling plus shipping. Note that although this price may seem high, there is no profit in the figure. SRI are selling them at cost. A cheque with an informal order would be easiest to process; alternatively SRI could invoice at the time of shipment given an official order from a recognized body (e.g. from a university). Shipment should be within a day or two of receipt of order. Contact Arnold Smith (arnold@cam.sri.com) for more details. Mike Gordon