Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2003-09-03 20:38:41 -0700 (Wed, 03 Sep 2003) Revision: 4925 Log message:
Added the original Nuprl-Light paper.