Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Tue, 10 May 1994 18:57:16 +0100
Received: from mcs.anl.gov (donner.mcs.anl.gov [140.221.5.134]) 
          by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id MAA05280 
          for <qed>; Tue, 10 May 1994 12:44:32 -0500
Message-Id: <199405101744.MAA05280@antares.mcs.anl.gov>
To: qed@antares.mcs.anl.gov
Subject: Hello out there!
Date: Tue, 10 May 1994 12:44:30 -0500
From: Rusty Lusk <lusk@mcs.anl.gov>

This is a test to see whether the QED mailing list is still active, or if
everyone is just too busy codifying mathematics.  Has everything been said?

Rusty