Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 25 Aug 1993 15:41:40 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA02265;
          Wed, 25 Aug 93 07:33:19 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from swan.cl.cam.ac.uk by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA02261; Wed, 25 Aug 93 07:33:17 -0700
Received: from albatross.cl.cam.ac.uk (user sk (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) to cl; Wed, 25 Aug 1993 15:32:38 +0100
To: info-hol@dworshak.cs.uidaho.edu
Subject: HOL around the world 2
Date: Wed, 25 Aug 93 15:32:29 +0100
From: Sara Kalvala <Sara.Kalvala@cl.cam.ac.uk>
Message-Id: <"swan.cl.cam.:202750:930825143244"@cl.cam.ac.uk>



After getting asked one time too many for updates to the survey of HOL
users, I put together the information collected by Tim Leonard and
Catia Angelo earlier this year. The resulting document is available in
dvi and postscript format, by ftp'ing it from:

 ftp.cl.cam.ac.uk [128.232.0.56] in directory "hvg/contrib/hol_users"

I've called it a "draft version", as I am sure that some of the
entries may be out-dated and other people might still be willing to
send me their data. I plan to make it a final version in a week or so;
feel free to send me corrections and additions before that or even
after that. A nice inclusion to this document is a list of
publications. If you are sending me a list of publications, I would be
grateful if you have them in bibtex format (but other formats okay
too).


							- Sara