Nuprl - Proof: assert of eq int 1

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

1. x :

2. y :

3. x=

x = y

By:	Unfolds [`eq_int`] 3

Generated subgoal:

1 3. if x=y true ; false fi
x = y
4 steps

About:

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