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, 17 Oct 1994 19:00:55 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA28751;
          Mon, 17 Oct 1994 11:56:13 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA28746;
          Mon, 17 Oct 1994 11:56:10 -0600
Received: from oracorp.com (scylla.oracorp.com [192.76.175.102]) 
          by dworshak.cs.uidaho.edu (8.6.9/1.0) with SMTP id KAA09963 
          for <info-hol@cs.uidaho.edu>; Mon, 17 Oct 1994 10:48:48 -0700
From: shb@oracorp.com
Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) 
          id AA23517; Mon, 17 Oct 94 13:48:19 EDT
Date: Mon, 17 Oct 94 13:48:15 EDT
Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA11173;
          Mon, 17 Oct 94 13:48:15 EDT
Message-Id: <9410171748.AA11173@sparta.oracorp.com>
To: info-hol@cs.uidaho.edu
Subject: Minutes of HOL94 Business Session -- correction

Here's a copy of a note I sent Richard Boulton regarding his ``Minutes
of HOL94 Business Session'' post that unfortunately didn't get to him
in time for him to make the correction -- I was on vacation.

  One correction: change the 5th line from the end, the one giving my
  initials and their meaning, to:

  SB      Stephen Brackin, Odyssey Research Associates

  The name ``ORA Corp.'' is the legally registered name of a DIFFERENT
  company in New York State, and my company can't use it.

Steve