Def bif(b; bx.x(bx); by.y(by)) == if b x(*) else y(x.x) fi

is mentioned by

Def ndiv(m;n) == if n=0 then 0 else m  n fi	[ndiv]
Def nmod(m;n) == if n=0 then 0 else m rem n fi	[nmod]
Def odd(n) == if n=0 then false else odd(n-1) fi   (recursive)	[odd]
Def even(n) == if n=0 then true else even(n-1) fi   (recursive)	[even]
Def fact(n) == if n=0 then 1 else nfact(n-1) fi   (recursive)	[fact]
Def exp(m;n) == if n=0 then 1 else mexp(m;n-1) fi   (recursive)	[exp]
Def nnsub(m;n) == if m<n then 0 else m-n fi	[nnsub]

In prior sections: hol bool

Try larger context: HOLlib IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html