Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 6 Dec 1993 22:45:29 +0000
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA07912;
          Mon, 6 Dec 1993 15:33:57 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA07908;
          Mon, 6 Dec 1993 15:33:45 -0700
Received: from tuminfo2.informatik.tu-muenchen.de by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA22111;
          Mon, 6 Dec 1993 14:30:30 -0800
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <57863>;
          Mon, 6 Dec 1993 23:30:09 +0100
Received: by sunbroy14.informatik.tu-muenchen.de id <8086>;
          Mon, 6 Dec 1993 23:29:55 +0100
From: Konrad Slind <slind@informatik.tu-muenchen.de>
To: info-hol@cs.uidaho.edu
Subject: underscore
Message-Id: <93Dec6.232955met.8086@sunbroy14.informatik.tu-muenchen.de>
Date: Mon, 6 Dec 1993 23:29:48 +0100


I'm told that using underscores in identifiers is passe'. Can anybody
explain why?

Konrad.