Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 14 Oct 1993 05:17:24 +0100
Received: by leopard.cs.byu.edu (1.37.109.4/16.2) id AA06615;
          Wed, 13 Oct 93 22:10:05 -0600
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.4/16.2) id AA06609; Wed, 13 Oct 93 22:10:03 -0600
Received: from Maui.CS.UCLA.EDU by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA15548; Wed, 13 Oct 93 21:09:57 -0700
Received: from LocalHost.cs.ucla.edu 
          by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA13726;
          Wed, 13 Oct 93 21:07:40 -0700
Message-Id: <9310140407.AA13726@maui.cs.ucla.edu>
To: info-hol@cs.uidaho.edu
Subject: Re: HOL improvement survey results
Date: Wed, 13 Oct 93 21:07:36 PDT
From: chou@cs.ucla.edu

What is the LNCS number of the proceedings of '93 HOL workshop?
And what is the "official" title of the book?

Thanks in advance!

- Ching Tsun