Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.2); Thu, 31 Dec 1992 00:28:46 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA15878;
          Wed, 30 Dec 92 16:14:55 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA15873;
          Wed, 30 Dec 92 16:14:49 -0800
Received: by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA15734;
          Wed, 30 Dec 92 16:14:12 -0800
Date: Wed, 30 Dec 92 16:14:12 -0800
From: toal@edu.ucla.cs (Ray J. Toal)
Message-Id: <9212310014.AA15734@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: Typo in last message


The line in my last message

  INT { {} } = {0, 1, 2, ... }

should have read

  INT {} = {0, 1, 2, ... }

of course.

Ray Toal