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.4) outside ac.uk; Tue, 2 Feb 1993 04:28:16 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA00211;
          Mon, 1 Feb 93 20:11:56 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from latcs1.lat.OZ.AU by ted.cs.uidaho.edu (16.6/1.34) id AA00204;
          Mon, 1 Feb 93 20:11:43 -0800
Received: by latcs1.lat.oz.au (5.65+/1.34) id AA12920;
          Tue, 2 Feb 93 15:12:38 +1100
Date: Tue, 2 Feb 93 15:12:38 +1100
From: lai@au.oz.lat.latcs1 (Richard Lai)
Message-Id: <9302020412.AA12920@latcs1.lat.oz.au>
To: info-hol@edu.uidaho.cs.ted
Subject: remove my name

Please remove my name from the HOL mailing list.

Thanks,
Richard Lai