Nuprl Definition : ballot-max

ballot-max(b1;b2) ==  if ballot-less(b1;b2) then b2 else b1 fi 


Proof not projected



Definitions occuring in Statement :  ballot-less: ballot-less(b1;b2),  ifthenelse: if b then t else f fi 
Definitions :  ifthenelse: if b then t else f fi ,  ballot-less: ballot-less(b1;b2)
FDL editor aliases :  ballot-max
ballot-max(b1;b2)  ==    if  ballot-less(b1;b2)  then  b2  else  b1  fi 


Date html generated: 2011_10_20-PM-04_16_19
Last ObjectModification: 2011_01_25-AM-00_40_55

Home Index