Nuprl 4.2 Reference Manual and User's Guide
Nuprl 4.1 Reference Manual and User's Guide
Nuprl 4.1 Tutorial (html) (post script)
