IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
eq rat refl
1
1
1
1
1
1. x1 :
2. x2 : 
x1/x2.num
x1/x2.den = x1/x2.num
x1/x2.den
Generated subgoal:
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html