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: . GCD(a;1;1) | [gcd_p_one] |
| 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
