Nuprl release.

Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Next message: Randall Holmes: "PRA implementation"
Previous message: Roberto Sebastiani: "subscribe"

Richard Eaton (eaton@cs.cornell.edu)
Mon, 30 Oct 1995 12:27:02 -0500

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

cd pub/nuprl/nuprl4
get README.ftp