Nuprl Definition : equalf_from_lef

equalf_from_lef(lef;x;y) ==  if lef then lef else ff fi 



Definitions occuring in Statement :  ifthenelse: if then else fi  bfalse: ff apply: a
FDL editor aliases :  equalf_from_lef
equalf\_from\_lef(lef;x;y)  ==    if  lef  x  y  then  lef  y  x  else  ff  fi 



Date html generated: 2015_07_17-AM-07_41_15
Last ObjectModification: 2012_07_03-PM-05_43_25

Home Index