Nuprl - Proof: eq int eq true elim

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

i,j:

. (i=

j) = true

i = j

By:

UnivCD

Generated subgoal:

1 1. i :
2. j :
3. (i=j) = true
i = j
3 steps

About:

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