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);
          Mon, 9 Nov 1992 16:16:12 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA24897;
          Mon, 9 Nov 92 08:01:44 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from mailbox.syr.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA24892;
          Mon, 9 Nov 92 08:01:35 -0800
From: jrejeb@edu.syr.mailbox (Jalel Rejeb)
Received: from rodan.acs.syr.edu by mailbox.syr.edu (4.1/CNS) id AA24106;
          Mon, 9 Nov 92 11:02:08 EST
Received: by rodan.acs.syr.edu (4.1/Spike-2.0) id AA29720;
          Mon, 9 Nov 92 10:56:34 EST
Date: Mon, 9 Nov 92 10:56:34 EST
Message-Id: <9211091556.AA29720@rodan.acs.syr.edu>
To: info-hol@edu.uidaho.cs.ted

Please remove my name from The HOL mailing list.
Thank you
my email: jrejeb@mailbox.syr.edu