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 | [divides_invar_2] |
| cites the following: |
| Thm* a:. -(-a) = a | [minus_minus_cancel] |
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
