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
X-UIDL: 801410893.068

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.