Nuprl - Proof: bnot bnot elim 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bnot bnot elim 1

1. p :

p = p

By:

BoolEval

Generated subgoals:

1 true = true
Auto

2 false = false
Auto

About:

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