Nuprl - Proof: bool sim true

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

. b = true

(b ~ true

)

By:

UnivCD

Generated subgoal:

1 1. b :
2. b = true
b ~ true
2 steps

About:

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