IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Gloss of "Abstract Identifiers"
Abstract
Identifiers
- identifiers treated abstractly and as atomic, serving as Object names in a Closed Map ;
The only basic operations on abstract identifiers are testing equality between them, incorporating them into Texts where they serve as Object references, and operations on them in their capacities as object references such as object content lookup. An abstract identifier cannot be constructed from any other values or be distinguished except by atomic comparison to other abstract identifiers (or possibly by comparing their referents). See Abstract Ids & Closed Maps and see Text Server.
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html