Nuprl - Proof: eq int eq true

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

i,j:

. i = j

(i=

j) = true

By:

UnivCD

Generated subgoal:

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

About:

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