IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
NuprlPrimitives
Nuprl Section: NuprlPrimitives - Explanations of Nuprl Primitives and Conventions
Basic Nuprl Documentation
These documents explain the basic concepts and methods used for mathematical expression in Nuprl. The primitive operators as well as basic nonprimitives are discussed.
Below is a list of the main documents in a reasonable reading order. An approximate size in words is indicated for each, indicating a certain kind of emphasis. There is also a partial index to these documents by Emblematic Theorems, some of which are quite interesting.