IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Gloss of "Object"
Object
- the unit of FDL content; abstractly named Texts ;
The notion is technically dependent on that of Closed Map, which is a map from some finite index set to object contents. With respect to a closed map, an object is identified with an index value. The principal division of objects is into Certificate objects and all others. The "content" of an object is a Text and the object is identified by an index in the closed map.
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html