IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Theorem | Name |
Thm*  x,y: . x< y   x<y | [assert_of_lt_int] |
| cites the following: |
Thm*  false | [assert_of_ff] |
| Thm* true | [assert_of_tt] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
