Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Sun, 22 May 1994 16:21:47 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA18998; Sun, 22 May 1994 08:59:30 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA18994; Sun, 22 May 1994 08:59:28 -0600 Received: from vanuata.dcs.gla.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA06221; Sun, 22 May 1994 07:59:33 -0700 Received: from hawaii.dcs.gla.ac.uk by goggins.dcs.gla.ac.uk with LOCAL SMTP (PP) id <17197-0@goggins.dcs.gla.ac.uk>; Sun, 22 May 1994 15:59:23 +0100 Received: by hawaii.dcs.gla.ac.uk (4.1/Dumb) id AA19746; Sun, 22 May 94 15:59:22 BST From: hug94 Message-Id: <9405221459.AA19746@hawaii.dcs.gla.ac.uk> To: info-hol@cs.uidaho.edu Cc: hug94@dcs.gla.ac.uk Subject: Correction to HUG94 - Programme Information. Date: Sun, 22 May 94 15:59:21 +0100 There are a few typos in the programme I just sent out. Please note the following corrected entries: Using Make to Manage Large Proofs Phillip J. Windley Not Implementing N-Bit Words by Using Abstract Theories Kelly M. Hall and Phillip J. Windley I had inadvertently left Kelly Hall's name off and misspelt "Phillip". Tom