IF YOU CAN SEE THIS go to /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 /sfa/Nuprl/Shared/Xindentation_hack_doc.html
