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 07:50:03 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA26489;
          Thu, 8 Sep 1994 00:45:36 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from tuminfo2.informatik.tu-muenchen.de by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA26485;
          Thu, 8 Sep 1994 00:45:32 -0600
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <326467>;
          Thu, 8 Sep 1994 08:41:11 +0200
Received: by sunbroy14.informatik.tu-muenchen.de id <8082>;
          Thu, 8 Sep 1994 08:40:57 +0200
From: Konrad Slind <slind@informatik.tu-muenchen.de>
To: info-hol@leopard.cs.byu.edu
Subject: Impending hol90 release
Message-Id: <94Sep8.084057met_dst.8082@sunbroy14.informatik.tu-muenchen.de>
Date: Thu, 8 Sep 1994 08:40:42 +0200


A new release of hol90 will be available soon. If anybody has any
libraries or contributions to make, they should get in touch with me. 

Konrad.