IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Rank | Theorem | Name |
| 3 | Thm*  x: . x!  | [sfa_doc_factorial_wf] |
| cites the following: |
| 2 | Thm* i,j:. i j | [multiply_nat_wf] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
