Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from iris.eecs.ucdavis.edu by swan.cl.cam.ac.uk with SMTP (PP)
          id <10320-0@swan.cl.cam.ac.uk>; Mon, 12 Aug 1991 20:18:55 +0100
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.7.0) id AA04501;
          Mon, 12 Aug 91 12:12:50 -0700
Date: Mon, 12 Aug 91 15:08:42 EDT
From: garrel@com.oracorp.thorax
Received: by thorax.oracorp.com (4.1/1.3-ORA Corporation) id AA00817;
          Mon, 12 Aug 91 15:08:42 EDT
Message-Id: <9108121908.AA00817@thorax.oracorp.com>
To: info-hol@edu.ucdavis.eecs.iris
Subject: Alphabetic change of bound variables

How is that handled (1) in the HOL logic and (2) in the HOL system?  I can't
find any mention of the subject in the documentation.

Garrel Pottinger
garrel@oracorp.com