Nuprl - Proof: decbl iff some bool

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decbl iff some bool

P:Prop. Dec(P)

(

. b

By:

GenUnivCD

Generated subgoals:

1 1. P : Prop
2. Dec(P)
  b:. b  P
5 steps

2 1. P : Prop
2. b:. b  P
  Dec(P)
2 steps

About:

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

1	1. P : Prop 2. Dec(P) b:. b P	5 steps
2	1. P : Prop 2. b:. b P Dec(P)	2 steps