Nuprl - Proof: decidable equal int seg 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable equal int seg 1

1. i :

2. j :

3. x : {i..j

}
4. y : {i..j

}

x = y

By:	Decide (x = y)

Generated subgoals:

1 5. x = y
x = y x = y
1 step

2 5. x = y
x = y x = y
2 steps

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html