IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Theorem | Name |
Thm*  i,j: .   i j = (j<i) | [bnot_of_le_int] |
| cites the following: |
Thm* p: . p = p | [bnot_bnot_elim] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
