Nuprl - Proof: assert of eq int

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert of eq int

x,y:

. x=

x = y

By:

GenUnivCD

Generated subgoals:

1 1. x :
2. y :
3. x=y
x = y
5 steps

2 1. x :
2. y :
3. x = y
x=y
3 steps

About:

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

1	1. x : 2. y : 3. x=y x = y	5 steps
2	1. x : 2. y : 3. x = y x=y	3 steps