IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
