Nuprl - Proof: assert of eq int rw

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

x,y:

. x=

x = y

By:	Unfold `guard` 0 THEN Lemma Thm* x,y:. x=y x = y

Generated subgoals:

None

About:

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