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