IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Conservative and Destructive Operations
In the descriptions of Closed Map Operations, some are marked with +, some with -.
The "+" indicates an operation that is considered conservative with respect to Certification in that performing these operations on the current closed map leaves certificates intact.
The "-" indicates that the operations are not likely to succeed on the current closed map without some more complex and destructive modifications, especially entailing deletion or modification of system generated "certification objects".
+
Uniform Renaming
+
Contracting
+
Focusing
+
Deleting
+
Zipping Merge
+
Cloning
+
Splitting
-
Reassigning
-
Folding
See Certificate Bias and Current Closed Maps.
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html