Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Mon, 22 May 1995 23:05:16 +0100
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) 
          id QAA13383 for qed-out; Mon, 22 May 1995 16:50:17 -0500
Received: from cli.com (cli.com [192.31.85.1]) 
          by antares.mcs.anl.gov (8.6.10/8.6.10) with SMTP id QAA13374 
          for <qed@mcs.anl.gov>; Mon, 22 May 1995 16:50:03 -0500
Received: from thunder.cli.com by cli.com (4.1/SMI-4.1) id AA17203;
          Mon, 22 May 95 15:49:10 CDT
From: kaufmann@CLI.COM (Matt Kaufmann)
Received: by thunder.cli.com (4.1) id AA04847; Mon, 22 May 95 15:49:09 CDT
Date: Mon, 22 May 95 15:49:09 CDT
Message-Id: <9505222049.AA04847@thunder.cli.com>
To: bshults@fireant.ma.utexas.edu
Cc: holmes@catseye.idbsu.edu, moore@CLI.COM, qed@mcs.anl.gov
In-Reply-To: <199505222023.PAA14051@pythagoras.ma.utexas.edu> (message from Benjamin Price Shults on Mon, 22 May 1995 15:23:53 -0500)
Subject: Re: Undefined terms
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

Warning to QED -- some of the recent discussion could be a bit out of sync,
because of tiny delays in the distribution of mail to qed@mcs.anl.gov.