Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0)
          id <02457-0@swan.cl.cam.ac.uk>; Sat, 11 Jan 1992 20:27:30 +0000
Received: by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA19517;
          Sat, 11 Jan 92 12:14:45 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from [128.232.0.56] by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34)
          id AA19513; Sat, 11 Jan 92 12:14:36 -0800
Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk
          with SMTP (PP-6.0) to cl id <02180-0@swan.cl.cam.ac.uk>;
          Sat, 11 Jan 1992 20:08:01 +0000
To: talesara@com.dec.enet.hpsrad
Cc: info-hol@edu.uidaho.cs.ted
Subject: Re: Is there any HOL Users University/Researchers compiled list
In-Reply-To: Your message of Thu, 09 Jan 92 14:27:07 -0800. <9201092227.AA17902@enet-gw.pa.dec.com>
Date: Sat, 11 Jan 92 20:07:58 +0000
From: Tom.Melham@uk.ac.cam.cl
Message-Id: <"swan.cl.ca.182:11.00.92.20.08.05"@cl.cam.ac.uk>


> Is there any HOL Users University/Researchers compiled list
> that is available ?

There is a list of HOL users/projects compiled by Sara Kalvala
and distributed with the system in hol/contrib/hol_users/survey.tex

Tom