Nuprl Definition : apply?
f(x)?d == if isl(f x) then outl(f x) else d fi
Definitions occuring in Statement :
outl: outl(x),
ifthenelse: if b then t else f fi ,
isl: isl(x),
apply: f a
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
isl: isl(x),
outl: outl(x),
apply: f a
FDL editor aliases :
apply?
Latex:
f(x)?d == if isl(f x) then outl(f x) else d fi
Date html generated:
2016_05_15-PM-03_28_48
Last ObjectModification:
2015_09_23-AM-07_43_39
Theory : general
Home
Index