IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
coprime elim a
1
2
1. a : 
2. b :
3. y :
4. GCD(a;b;y)
5. y ~ 1
GCD(a;b;1)
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
