Nuprl - Proof: decidable equal bool 1 2 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable equal bool 1 2 1

false

= true

By:	(Analyze 0) THEN (SwapEquands -1)

Generated subgoal:

1 1. true = false
False
1 step

About:

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