Path: neptune!arp.anu.edu.au!reasoning-owner@arp.anu.edu.au
Posted-Date: Tue, 15 Jan 91 18:06:23 +0000
Original-To: info-hol@iris.ucdavis.edu
Subject: Re: projects using HOL
References: Your message of Thu, 06 Dec 90 14:38:16 +0000. <"swan.cl.ca.817:06.11.90.14.35.44"@cl.cam.ac.uk>
Date: Tue, 15 Jan 91 18:06:23 +0000
From: Sara.Kalvala@computer-lab.cambridge.ac.uk
Message-ID: <"swan.cl.ca.355:15.00.91.18.06.37"@cl.cam.ac.uk>
Original-Resent-To: reasoning-people
Original-Resent-Reply-To: Sara.Kalvala@computer-lab.cambridge.ac.uk
Newsgroups: anu.reasoning
Distribution: anu
Sender: postmaster@arp.anu.edu.au
Approved: anu.reasoning@arp.anu.edu.au


I have put together the list of activities involving HOL; thanks to
all of you who responded to my message.  However I can always update
it, and therefore more responses would always be welcome.  If you'd
like a copy of the current latex source, just send me a message, and I
will send it.

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