IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Theorem | Name |
Thm*  a: , b: . a | b   a b | [divisor_bound] |
| cites the following: |
Thm* a,b: , n:. ab n anb | [mul_preserves_le] |
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
