Nuprl Definition : ite

ite(b;x;y) ==  if b then x else y fi 


Definitions occuring in Statement :  ifthenelse: if b then t else f fi 
Definitions occuring in definition :  ifthenelse: if b then t else f fi 
FDL editor aliases :  ite
Latex:
ite(b;x;y)  ==    if  b  then  x  else  y  fi 


Date html generated: 2016_05_15-PM-03_26_18
Last ObjectModification: 2015_09_23-AM-07_43_17

Theory : general


Home Index