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);
          Wed, 9 Dec 1992 00:54:36 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12411;
          Tue, 8 Dec 92 16:36:24 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA12405;
          Tue, 8 Dec 92 16:36:15 -0800
Received: by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA12293;
          Tue, 8 Dec 92 16:35:39 -0800
Date: Tue, 8 Dec 92 16:35:39 -0800
From: chou@edu.ucla.cs (Ching-Tsun Chou)
Message-Id: <9212090035.AA12293@maui.cs.ucla.edu>
Original-Received: by NeXT Mailer (1.63)
PP-warning: Illegal Received field on preceding line
To: info-hol@edu.uidaho.cs.ted
Subject: Re: **** RELEASE OF HOL 2.01 ****

    o Renaming of REWRITE_CONV to REWR_CONV (see below); there is an entry "newrw"
      in "contrib" to update code with respect to this change.

What is the rationale behind this change?

- Ching Tsun