IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
next nat pair inj
1
1
1. x1 : 
2. y1 :
3. x2 :
4. y2 :
5. 0 = 0
6. x1+1 = x2+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
