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