Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from cs.uidaho.edu (actually ted.cs.uidaho.edu !OR! info-hol-request@cs.uidaho.edu) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Fri, 16 Jul 1993 20:08:24 +0100
Received: by cs.uidaho.edu (16.6/2.0) id AA18507; Fri, 16 Jul 93 11:55:35 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from leopard.cs.uidaho.edu by cs.uidaho.edu (16.6/2.0) id AA18500;
          Fri, 16 Jul 93 11:55:13 -0700
Received: from tuminfo2.informatik.tu-muenchen.de 
          by leopard.cs.uidaho.edu (16.7/1.34) id AA27081;
          Fri, 16 Jul 93 06:55:50 -0700
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <57667>;
          Fri, 16 Jul 1993 15:51:46 +0200
Received: by sunbroy14.informatik.tu-muenchen.de id <8084>;
          Fri, 16 Jul 1993 15:51:36 +0200
From: Konrad Slind <slind@informatik.tu-muenchen.de>
To: info-hol@cs.uidaho.edu, mikef@dcs.ed.ac.uk
In-Reply-To: Michael Fourman's message of Fri, 16 Jul 1993 15:28:20 +0200 <19481.9307161328@rough.dcs.ed.ac.uk>
Subject: HOL portability
Message-Id: <93Jul16.155136met_dst.8084@sunbroy14.informatik.tu-muenchen.de>
Date: Fri, 16 Jul 1993 15:51:31 +0200


> Was this intended to be a criticism of AHL?

Not at all! My apologies for not being clear enough. I was attempting to
heap praise upon the AHL compiler, and its original author.

Cheers,
Konrad.