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, 5 May 1995 16:48:34 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA257046613; Fri, 5 May 1995 09:10:13 -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 AA256996603; Fri, 5 May 1995 09:10:03 -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, 5 May 1995 16:08:44 +0100 To: info-hol@leopard.cs.byu.edu Subject: Re: HOL around the world In-Reply-To: Your message of "Fri, 05 May 1995 15:35:45 BST." <"swan.cl.cam.:081600:950505143606"@cl.cam.ac.uk> Date: Fri, 05 May 1995 16:08:36 +0100 From: Sara Kalvala Message-Id: <"swan.cl.cam.:098600:950505150849"@cl.cam.ac.uk> > Hi Sara. Is your "HOL Around the World" document still available? As old-timers on info-hol might remember, a few years back I put together a summary of research projects using HOL "around the world". Many people kindly contributed a few paragraphs on their research, and many people found the resulting document useful. 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. The current (outdated) document can be obtained from the Web as "http://www.cl.cam.ac.uk/Research/HVG/around_world.dvi". Thanks, - Sara