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