Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 26 May 1995 22:14:36 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA262281311; Fri, 26 May 1995 14:48:31 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from swan.cl.cam.ac.uk by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA262171306; Fri, 26 May 1995 14:48:27 -0600 Received: from albatross.cl.cam.ac.uk (user sk (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Fri, 26 May 1995 21:48:59 +0100 To: Sara Kalvala Cc: info-hol@leopard.cs.byu.edu, Sara.Kalvala@cl.cam.ac.uk Subject: Re: HOL around the world In-Reply-To: Your message of "Fri, 05 May 1995 16:08:36 BST." <"swan.cl.cam.:098600:950505150849"@cl.cam.ac.uk> Date: Fri, 26 May 1995 21:48:52 +0100 From: Sara Kalvala Message-Id: <"swan.cl.cam.:264050:950526204905"@cl.cam.ac.uk> I wrote: > The information is now hopelessly out of date, so I am requesting you > to send me short descriptions of your work, so that the document can > point readers to current work being done. It would be most useful if > the summary were accompanied by references to the work as well as > pointers to WWW pages. Many thanks to those who've sent me the information. I will a few more days (say until the 10th of june) and then format and distribute what I have. If you'd like to just point me to a paper from which I can summarize, that will be fine too. I've also been asked to indicate the scope of the document. Any work using any flavour of HOL will be interesting. Work in progress as well as projects reaching completion, anything which may be of interest to fellow HOL users. - Sara