Nuprl - Proof: nsub bool 1 2 1

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

1. y :

2
2. y = 0
3.

y = 1

if if y=0

false

; true

1 else 0 fi = y

By:	Subst: Hyp:2 THEN Reduce Concl

Generated subgoals:

None

About:

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