IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc predicativity sample8121 1. f : 2. n:. f(n) = 0
3. n : 4. f(n) = 0
if f(n)=0 False else C:Prop. C fi Prop
By:
SplitITE Concl
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
n:
if f(n)=
0
False else 
Prop
