Nuprl - Proof: assert of eq bool 1

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

1. p :

2. q :

p = q

By:	Unfold `eq_bool` 0

Generated subgoal:

1 ((pq) (pq)) p = q
4 steps

About:

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