Return-Path: <John.Harrison-request@cl.cam.ac.uk>
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 02:30:10 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA22497;
          Wed, 7 Sep 1994 19:03:56 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA22482;
          Wed, 7 Sep 1994 19:03:44 -0600
Received: from wilson.cs.uidaho.edu (wilson.cs.uidaho.edu [129.101.120.84]) 
          by dworshak.cs.uidaho.edu (8.6.9/1.0) with ESMTP id RAA00662 
          for <info-hol@lal.cs.byu.edu>; Wed, 7 Sep 1994 17:59:12 -0700
From: Chris Toshok <toshok@cs.uidaho.edu>
Received: (toshok@localhost) by wilson.cs.uidaho.edu (8.6.9/1.0) id RAA06302;
          Wed, 7 Sep 1994 17:59:12 -0700
Date: Wed, 7 Sep 1994 17:59:12 -0700
Message-Id: <199409080059.RAA06302@wilson.cs.uidaho.edu>
To: info-hol@leopard.cs.byu.edu
Subject: Libraries being ported for HOL90?


 I was wondering if anyone was currently working on porting any of the
libraries from HOL88 to HOL90.  I need a few for some work I'm doing, and
if no one is currently doing the ones I need, I'll probably give them a
shot.

+------------------------------+----------------------------------+
|Chris Toshok                  |  email: toshok@cs.uidaho.edu     |  
| of The Hungry Programmers    |                                  |
|           www: http://www.cs.uidaho.edu/~toshok                 |
+-----------------------------------------------------------------+
 On the internet, no one knows you're a CHICKEN! A GIANT CHICKEN!
    -- Denis Moskowitz