Nuprl - Proof: nsub bool 1 2 2

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

1. y :

2
2.

y = 0
3. y = 1

if if y=0

false

; true

1 else 0 fi = y

By:	Subst: Hyp:3 THEN Reduce Concl

Generated subgoals:

None

About:

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