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; Fri, 24 Jun 1994 15:17:50 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA14702;
          Fri, 24 Jun 1994 07:58:48 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA14698;
          Fri, 24 Jun 1994 07:58:40 -0600
Received: from hawaii.dcs.gla.ac.uk by goggins.dcs.gla.ac.uk 
          with LOCAL SMTP (PP) id <23211-0@goggins.dcs.gla.ac.uk>;
          Fri, 24 Jun 1994 14:56:25 +0100
Received: by hawaii.dcs.gla.ac.uk (4.1/Dumb) id AA26192;
          Fri, 24 Jun 94 14:56:22 BST
Date: Fri, 24 Jun 94 14:56:22 BST
From: konrad <konrad@dcs.gla.ac.uk>
Message-Id: <9406241356.AA26192@hawaii.dcs.gla.ac.uk>
To: info-hol@leopard.cs.byu.edu
In-Reply-To: reetz's message of Fri, 24 Jun 1994 20:12:23 +0200 <"i80fs2.ira.531:24.05.94.12.12.30"@ira.uka.de>
Subject: where to get a hol90.6 version with Extend_hol_pp?


> hol90.6 I'm using here does not have a module
> 
> Extend_hol_pp
> 
> Looks like there exists different versions.
> So can somebody tell me, please, where (ftp, please) to get the
> NEWEST version of hol90.6? 

The Extend_hol_pp package is a prototype that is not included in the
hol90.6 release. Contact Richard Boulton for further details on the
package. 

Konrad.