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 UAA07698 for <jharriso@ra.abo.fi>; Mon, 30 Oct 1995 20:51:16 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id LAA13254 for qed-out; Mon, 30 Oct 1995 11:30:05 -0600
Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id LAA13156 for <qed@mcs.anl.gov>; Mon, 30 Oct 1995 11:27:42 -0600
Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.6.10/R1.4) with ESMTP id MAA29079; Mon, 30 Oct 1995 12:27:11 -0500
Received: from alfheim.cs.cornell.edu (ALFHEIM.CS.CORNELL.EDU [128.84.254.214]) by cloyd.cs.cornell.edu (8.6.10/M1.8) with ESMTP id MAA00846; Mon, 30 Oct 1995 12:27:08 -0500
Received: (eaton@localhost) by alfheim.cs.cornell.edu (8.6.10/C1.3) id MAA01059; Mon, 30 Oct 1995 12:27:03 -0500
Message-Id: <199510301727.MAA01059@alfheim.cs.cornell.edu>
To: qed@mcs.anl.gov, theorem-provers@mc.lcs.mit.edu
Subject: Nuprl release.
Date: Mon, 30 Oct 1995 12:27:02 -0500
From: Richard Eaton <eaton@cs.cornell.edu>
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


Nuprl4.2 is available via anonymous ftp from ftp.cs.cornell.edu.

cd pub/nuprl/nuprl4
get README.ftp