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; Sun, 29 Jan 1995 16:47:50 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA20477;
          Sun, 29 Jan 1995 09:42:17 -0700
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.38.193.4/16.2) id AA20469;
          Sun, 29 Jan 1995 09:42:14 -0700
Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP);
          Sun, 29 Jan 1995 16:40:19 +0000
To: Phil Windley <windley@leopard.cs.byu.edu>
Cc: info-hol@leopard.cs.byu.edu, tfm@dcs.gla.ac.uk
Subject: Re: bug in let_CONV ????
In-Reply-To: Your message of "Fri, 27 Jan 1995 11:26:43 MST." <9501271826.AA11023@bobcat.cs.byu.edu>
Date: Sun, 29 Jan 1995 16:40:13 +0000
From: Tom Melham <tfm@dcs.gla.ac.uk>
Message-ID: <"swan.cl.cam.:084940:950129164829"@cl.cam.ac.uk>


> I'm using HOL88 2.02 compiled with AKCL 1.609.  I had originally thought
> this was a HOL bug, then thought it was an AKCL/GCL bug and have not gone
> full circle to believe it is a HOL bug.  

We're using HOL88 2.02 compiled with GCL Version 1.1.  Your program
runs with no problem here.

Tom