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; Mon, 1 Feb 1993 22:34:30 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA27931;
          Mon, 1 Feb 93 14:15:42 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from schaefer.math.wisc.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA27926; Mon, 1 Feb 93 14:15:31 -0800
Received: by schaefer.math.wisc.edu; id AA01131; 4.1/42;
          Mon, 1 Feb 93 16:13:08 CST
Date: Mon, 1 Feb 93 16:13:08 CST
From: Paul Corazza <corazza@edu.wisc.math>
Message-Id: <9302012213.AA01131@schaefer.math.wisc.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: Take me off


Dear Ted (or whoever reads this!)

Please take me off the HOL bulletin board. 

Thanks!
Paul C.