WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites fib?
fibDef fib(n) == if n= n=1 1 else fib(n-1)+fib(n-2) fi  (recursive)
Thm* n:. fib(n 
eq_intDef i=j == if i=j true ; false fi
Thm* i,j:. (i=j 
borDef p  q == if p true else q fi
Thm* p,q:. (p  q 

About:
boolbfalsebtrueifthenelseintnatural_numberaddsubtract
int_eqrecursive_def_noticememberall
!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions StandardLib Sections NuprlLIB Doc