[lolorigo] simplified and documented jprover/nuprl5 connection_ Mon Sep 19 02:50:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2001-04/2005-09-19-02-50-46-296797000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2001-04/2005-09-19-02-50-46-296797000-PDT.html