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