Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Fri, 9 Apr 1993 14:37:17 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA09189; Fri, 9 Apr 93 05:18:07 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from enet-gw.pa.dec.com by ted.cs.uidaho.edu (16.6/1.34) id AA09184; Fri, 9 Apr 93 05:18:00 -0700 Received: by enet-gw.pa.dec.com; id AA27314; Fri, 9 Apr 93 05:17:14 -0700 Message-Id: <9304091217.AA27314@enet-gw.pa.dec.com> Received: from ricks.enet; by decwrl.enet; Fri, 9 Apr 93 05:17:14 PDT Date: Fri, 9 Apr 93 05:17:14 PDT From: David Ellis 09-Apr-1993 0817 To: info-hol@edu.uidaho.cs.ted Apparently-To: info-hol@ted.cs.uidaho.edu Subject: RE: How should HOL be pronounced? Ching Tsun (chou@cs.ucla.edu) asks how "HOL" should be pronounced. I have heard it pronounced as one syllable, rhyming with "doll". Given this pronunciation and my United States bias towards English :-) I would title a paper "A HOL theory of..." (rather than "An HOL theory of..."). Like Ching Tsun, I am also curious to see if there is a consensus on the pronunciation of "HOL". ---- David J Ellis Digital Equipment Corporation, Semiconductor Engineering Group 77 Reed Road, Hudson MA 01749 Mailstop HLO2-3/D11 Internet: d_ellis@ricks.enet.dec.com Phone: (508) 568-4393