is mentioned by

Thm* A  Top

[sfa_doc_top_is_top]

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html