Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Fri, 4 Dec 1992 17:16:27 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA25292;
          Fri, 4 Dec 92 08:51:23 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from tuminfo2.informatik.tu-muenchen.de 
          by ted.cs.uidaho.edu (16.6/1.34) id AA25287;
          Fri, 4 Dec 92 08:51:08 -0800
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <57663>;
          Fri, 4 Dec 1992 17:50:04 +0100
Received: by sunbroy14.informatik.tu-muenchen.de id <8121>;
          Fri, 4 Dec 1992 17:49:58 +0100
From: Konrad Slind <slind@de.tu-muenchen.informatik>
To: info-hol@edu.uidaho.cs.ted
Subject: hol90
Message-Id: <92Dec4.174958met.8121@sunbroy14.informatik.tu-muenchen.de>
Date: Fri, 4 Dec 1992 17:49:56 +0100

Greetings,

  I have again changed addresses. I am now to be found at

      slind@informatik.tu-muenchen.de

In response to Kimdam's question, version 3 of hol90, the one that has
been in release for the past year or so, will be updated to the next
public release of NJ/SML (version 0.93). I expect this in a few weeks or
less.

Version 4 of hol90 will be released soon after, or even concurrently.
This will not be a major change in functionality; it will be the
*standard* HOL Kim Dam referred to. Version 5 is expected early in the
new year and will be a major (upwards compatible!) change in
functionality, since it will accomodate overloading of constants.

Cheers,
Konrad.