 	<B>NuPRL: </B>   	<A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html">        			Homepage					</A> --  	<A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/html/publication.html">        			Recent Publications				</A> -- 	<A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/book/doc.html">        			The Book					</A> --       	<A HREF="ftp://ftp.cs.cornell.edu/pub/nuprl/">        			The system (FTP)				</A>   	   <LI>
