Nuprl - Proof: assert of eq atom 1 2

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

1. x : Atom
2. y : Atom
3. if x=y

Atom

true

; false

fi
4.

x = y

By:	RWH (ReduceThenC Auto) 3

Generated subgoal:

1 3. false
4. x = y
x = y
1 step

About:

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