Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Mon, 19 Apr 1993 21:53:14 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA13623; Mon, 19 Apr 93 07:52:12 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from gray.csi.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA13618; Mon, 19 Apr 93 07:52:00 -0700 Received: from phx.cam.ac.uk by ppsw1.cam.ac.uk with GB-CAM (PP-6.0) as ppsw.cam.ac.uk id <25735-0@ppsw1.cam.ac.uk>; Mon, 19 Apr 1993 15:51:37 +0100 Date: Mon, 19 Apr 93 15:51:33 BST From: TW10002@phx.cam.ac.uk To: info-hol@ted.cs.uidaho.edu Subject: An Introduction to HOL Message-Id: Dear HOL user, would you be interested in receiving information about 'An Introduction to HOL' by M. J. C. Gordon and T. F. Melham? This is a brand new book which Cambridge are just about to publish. If you are interested, I will be happy to send you some further information. Please Email me at tw10002@PHX.CAM.AC.UK