IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
decidable equal int seg12 1. i : 2. j : 3. x : {i..j}
4. y : {i..j}
5. x = y x = yx = y
By:
Sel 2 (Analyze 0)
Generated subgoal:
1
x = y
Auto
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
}
x = y
x = y 
