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 <12199-0@swan.cl.cam.ac.uk>; Wed, 8 Jul 1992 06:51:27 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05040;
          Tue, 7 Jul 92 22:40:10 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA05035;
          Tue, 7 Jul 92 22:40:00 -0700
Received: from LocalHost.cs.ucla.edu 
          by maui.cs.ucla.edu (Sendmail 5.61c+YP/3.19) id AA09653;
          Tue, 7 Jul 92 22:40:54 -0700
Message-Id: <9207080540.AA09653@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: Re: constant name reuse
Date: Tue, 07 Jul 92 22:40:53 PDT
From: chou@edu.ucla.cs

And I really hope the names of some built-in constants can be changed.
Consider, say, "F".  It is not uncommon that one would like to use "F"
to denote something other than falsehood; e.g., "F"ormulas.
Other examples are "T", "S", "K", "Node", "node", etc.

- Ching Tsun