(hideapply) View an index of theorems using the operator of the term. See `opthms' and `show'. HERE for current table of cognate operators. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html