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; Thu, 8 Sep 1994 03:47:34 +0100 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA24404; Wed, 7 Sep 1994 20:41:21 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from itd0.dsto.gov.au by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA24400; Wed, 7 Sep 1994 20:41:04 -0600 Received: from tcs22.dsto.gov.au by itd0.dsto.gov.au with SMTP (5.64+1.3.1+0.50/DSTO-1.0) id AA27141; Thu, 8 Sep 1994 12:04:21 +0930 Date: Thu, 8 Sep 1994 12:04:21 +0930 From: Jim Grundy Message-Id: <9409080234.AA27141@itd0.dsto.gov.au> To: toshok@cs.uidaho.edu Subject: Re: Libraries being ported for HOL90? In-Reply-To: Mail from 'info-hol-request@lal.cs.byu.edu' dated: Wed, 7 Sep 1994 17:59:12 -0700 Cc: info-hol@leopard.cs.byu.edu I have a ported and improved version of the window library for HOL90.6 (and one for the pre-release of HOL90.7). I am hoping to finish the documentation off in time to get the library into the release of HOL90.7. (Any day now Konrad and Joakim, honest). Jim ======================================================================== Information Technology Division | Building 171 Laboratories Area | phone: +61 8 2596162 PO Box 1500 | fax: +61 8 2595980 Salisbury SA 5108 | email: Jim.Grundy@dsto.defence.gov.au AUSTRALIA | telex: AA82799 ========================================================================