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 UAA29856 for <jharriso@ra.abo.fi>; Mon, 18 Dec 1995 20:50:03 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id LAA08988 for qed-out; Mon, 18 Dec 1995 11:45:39 -0600
Received: from lutra (lutra.mcs.anl.gov [140.221.5.137]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id LAA08982 for <qed@mcs.anl.gov>; Mon, 18 Dec 1995 11:45:22 -0600
From: William McCune <mccune@mcs.anl.gov>
Date: Mon, 18 Dec 1995 11:45:20 -0600
Message-Id: <199512181745.LAA08142@lutra>
To: qed@mcs.anl.gov
Subject: QED links to QED people
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


John McCarthy suggested to Roman Matuszewski that it would be good to
have a QED web page with links to home pages of people interested in
QED.  Any objections to this?  I'll be happy to set this up and
maintain it.  If you would like to be listed, e-mail your URL directly
to me.  If you don't have a personal home page, we can list your
e-mail address instead.

  Bill McCune  (mccune@mcs.anl.gov)