Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 18 Jun 1993 21:00:25 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA01241;
          Fri, 18 Jun 93 12:52:45 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA01236;
          Fri, 18 Jun 93 12:52:41 -0700
Received: from guillemot.cl.cam.ac.uk (user tfm (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) to cl; Fri, 18 Jun 1993 20:52:52 +0100
To: chou@cs.ucla.edu
Cc: info-hol@ted.cs.uidaho.edu, Tom.Melham@cl.cam.ac.uk
Subject: Re: Bug in parsing object-level lists
In-Reply-To: Your message of "Fri, 18 Jun 93 00:00:54 PDT." <9306180700.AA21146@maui.cs.ucla.edu>
Date: Fri, 18 Jun 93 20:52:48 +0100
From: Tom Melham <Tom.Melham@cl.cam.ac.uk>
Message-Id: <"swan.cl.cam.:179900:930618195257"@cl.cam.ac.uk>


chou@cs.ucla.edu notes:

> HOL88 seems to be unable to parse certain object-level lists:

This bug has been fixed in version 2.02 (not released yet).
Anyone who wants a patch, please ask me.

Tom