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 13:23:52 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA14180;
          Fri, 24 Jun 1994 06:13:55 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from irafs1.ira.uka.de by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA14176;
          Fri, 24 Jun 1994 06:12:53 -0600
Received: from i80fs2.ira.uka.de (actually i80fs2) by irafs1 with SMTP (PP);
          Fri, 24 Jun 1994 14:05:33 +0200
Received: from ira.uka.de by i80fs2.ira.uka.de id <05529-0@i80fs2.ira.uka.de>;
          Fri, 24 Jun 1994 14:12:25 +0200
Date: Fri, 24 Jun 94 14:12:23 EDT
From: reetz <reetz@ira.uka.de>
To: info-hol@leopard.cs.byu.edu
Subject: where to get a hol90.6 version with Extend_hol_pp?
Message-Id: <"i80fs2.ira.531:24.05.94.12.12.30"@ira.uka.de>

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? 

thanks, :-) Ralf.

(*****************************************************************************)
(*                                                                           *)
(*  Ralf Reetz                            SFB 358 of the german research     *)
(*  reetz@ira.uka.de                      society (DFG)                      *)
(*  reetz@informatik.uni-karlsruhe.de     University of Karlsruhe, Germany   *)
(*                                                                           *)
(*****************************************************************************)