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.0) 
          id <11995-0@swan.cl.cam.ac.uk>; Fri, 24 Jul 1992 13:31:23 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA11674;
          Fri, 24 Jul 92 05:19:30 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA11669;
          Fri, 24 Jul 92 05:19:24 -0700
Received: from scoter.cl.cam.ac.uk by swan.cl.cam.ac.uk 
          with SMTP (PP-6.0) to cl id <11689-0@swan.cl.cam.ac.uk>;
          Fri, 24 Jul 1992 13:19:52 +0100
To: Tom Melham <Tom.Melham@uk.ac.cam.cl>
Cc: weiss@edu.uidaho.cs.leopard (Phil Weiss), 
    info-hol@edu.uidaho.cs.ted (HOL Mailing List), Tom.Melham@uk.ac.cam.cl
Subject: Re: Equivalence of GSPEC(\x. ( ,F)) and EMPTY
In-Reply-To: Your message of Fri, 24 Jul 92 12:35:17 +0100. <"swan.cl.ca.737:24.06.92.11.35.58"@cl.cam.ac.uk>
Date: Fri, 24 Jul 92 13:19:45 +0100
From: Tom Melham <Tom.Melham@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.703:24.06.92.12.20.23"@cl.cam.ac.uk>


>   #let th1 = REWR_CONV EXTENSION tm;;

Sorry, that should have been "REWRITE_CONV" not "REWR_CONV".

Tom