Received: from antares.mcs.anl.gov (mcs.anl.gov [140.221.9.6]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id SAA20219; Tue, 30 Jan 1996 18:02:34 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id IAA26626 for qed-out; Tue, 30 Jan 1996 08:40:37 -0600
Received: from tuminfo2.informatik.tu-muenchen.de (root@tuminfo2.informatik.tu-muenchen.de [131.159.0.81]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id FAA24603 for <qed@mcs.anl.gov>; Tue, 30 Jan 1996 05:02:48 -0600
Received: from sunjessen21.informatik.tu-muenchen.de ([131.159.20.47]) by tuminfo2.informatik.tu-muenchen.de with ESMTP id <27153-2>; Tue, 30 Jan 1996 12:02:15 +0100
Received: by sunjessen21.informatik.tu-muenchen.de id <460843>; Tue, 30 Jan 1996 11:59:49 +0100
From: Andreas Wolf <wolfa@informatik.tu-muenchen.de>
To: qed@mcs.anl.gov
X-Sun-Charset: US-ASCII
Message-Id: <96Jan30.115949+0100met_dst.460843+114@sunjessen21.informatik.tu-muenchen.de>
Date: 	Tue, 30 Jan 1996 11:59:34 +0100
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

subscribe qed