Glossary FDLnotes
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Gloss of "Current Closed Map"

Current Closed Map - the main part of the state in a Session with a Client of the FDL, being a distinguished, variable Closed Map ;

See Current Closed Maps for explanations of the operations that can be performed to update the current closed map. A Client can preserve the current closed map for later access, modulo uniform change of object identifiers (see Abstract Ids & Closed Maps). IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Glossary FDLnotes