Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 4 May 1993 11:34:33 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA16112; Tue, 4 May 93 03:20:17 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from stroma.dcs.ed.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA16103; Tue, 4 May 93 03:19:59 -0700 Received: from tanera.dcs.ed.ac.uk by dcs.ed.ac.uk id aa27495; 4 May 93 11:16 BST Message-Id: <17757.9305041016@tanera.dcs.ed.ac.uk> Received: from mjm.localhost.dcs.ed.ac.uk by tanera.dcs.ed.ac.uk; Tue, 4 May 93 11:16:44 +0100 To: info-hol@ted.cs.uidaho.edu Cc: hug93@cs.ubc.ca From: Matthew Morley Subject: Re: HOL Workshop Papers -- Last Call Date: Tue, 04 May 93 11:16:43 +0100 - I sent the submission message followed by the PostScript -files about a week ago, but I still have not received any -acknownledgement. I assume they have gone astray. I'm sending the -PostScript files again. - -Wai - Humm... Wai is not alone. I too sent a message and two postscript files to hug93@cs.ubc.ca, but have received no acknowledgement. Please acknowledge *this* message, and I'll resend, or ftp the postscript if necessary. M ------------------------------------------------------------------------------ "Computers are intellectual tools of the last resort" -- Thanks Chris! ---Matthew Morley, LFCS, Computer Science, Edinburgh University, 1607 JCMB,--- ---The King's Buildings, Mayfield Road, Edinburgh EH9 3JZ. Tel 031 650 5188---