From Sara.Kalvala@uk.ac.cambridge.computer-lab Mon Dec 10 08:59:19 1990
Received: from [+JANET.000040010160/FTP.MAIL] by eagle.eng.warwick.ac.uk; Mon, 10 Dec 90 08:59:17 GMT
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <243-221@sun2.nsfnet-relay.ac.uk>;
          Sat, 8 Dec 1990 07:55:41 +0000
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa01930; 8 Dec 90 7:35 GMT
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0) id AA20430;
          Thu, 6 Dec 90 06:46:17 -0800
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <6307-1@sun2.nsfnet-relay.ac.uk>;
          Thu, 6 Dec 1990 14:43:44 +0000
Received: from sun2.nsfnet-relay.ac.uk by vax.NSFnet-Relay.AC.UK via Janet
          with NIFTP id aa07719; 6 Dec 90 14:06 GMT
Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP)
          id <2815-0@swan.cl.cam.ac.uk>; Thu, 6 Dec 1990 14:35:41 +0000
To: info-hol@edu.ucdavis.iris
Subject: projects using HOL
Date: Thu, 06 Dec 90 14:38:16 +0000
From: Sara.Kalvala@uk.ac.cambridge.computer-lab
Message-Id: <"swan.cl.ca.817:06.11.90.14.35.44"@cl.cam.ac.uk>
Status: R



Here is something I just got in the mail:

  > I've read in the News that you distribute the HOL system.
  > My question is: do you know some people working on temporal logic and
  > using the HOL system?

This type of question keeps popping up, so we at Cambridge thought it
would be useful to make a list with information on HOL users.

Therefore, I would really appreciate it if you could send me the
following:

        - brief description of activity involving HOL and goals;
        - methods and status;
        - name and e-mail address of worker(s).

I will compile the responses into a list of HOL projects and users,
and then make it available. It shouldn't take you long, and it would
be very helpful to have as complete a list as possible. Thanks!

                                                        - Sara Kalvala
                                                        sk@cl.cam.ac.uk




