Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Sat, 7 Nov 1992 20:41:08 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20512;
          Sat, 7 Nov 92 12:32:33 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from toadflax.cs.ucdavis.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA20507; Sat, 7 Nov 92 12:32:28 -0800
Received: from ucselx.sdsu.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.0) 
          id AA04413; Sat, 7 Nov 92 12:31:48 PST
Received: by ucselx.sdsu.edu;
          id AA20094 sendmail 5.65c/SDSU-GW-1.5 Sat, 7 Nov 1992 12:31:51 -0800 
          for info-hol@cs.ucdavis.edu
Date: Sat, 7 Nov 1992 12:31:51 -0800
From: weston@edu.sdsu.ucselx (weston t)
Message-Id: <199211072031.AA20094@ucselx.sdsu.edu>
To: info-hol@edu.ucdavis.cs
Subject: mail list


Please remove me from the HOL list

Thanks,
Tom Weston

weston@ucselx.sdsu.edu