IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
next nat pair inj
1
2
1. x1 : 
2. y1 :
3. x2 :
4. y2 :
5. x1+1 = x2+1
6. y1-1 = y2-1
7. y1 
0
8. y2 0
<x1,y1> = <x2,y2>
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
