Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 14 Jun 1993 22:33:53 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA09845;
          Mon, 14 Jun 93 14:26:18 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from toadflax.cs.ucdavis.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA09840; Mon, 14 Jun 93 14:26:10 -0700
Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.3) id AA08552;
          Mon, 14 Jun 93 14:26:12 PDT
Date: Mon, 14 Jun 93 14:26:12 PDT
From: shaw@cs.ucdavis.edu (Rob Shaw)
Message-Id: <9306142126.AA08552@toadflax.cs.ucdavis.edu>
To: info-hol@ted.cs.uidaho.edu
Subject: Thanx all.


Thanx to everyone who responded to my questions. I'll be sure not to make
the parens mistake again, after having thus embarrassed myself!

Rob
