Nuprl Definition : mk-ballot

mk-ballot(n;ldr) ==  inl <n, ldr> 


Proof not projected



Definitions occuring in Statement :  pair: <a, b>,  inl: inl x 
Definitions :  inl: inl x ,  pair: <a, b>
FDL editor aliases :  mk-ballot
mk-ballot(n;ldr)  ==    inl  <n,  ldr> 


Date html generated: 2011_10_20-PM-04_12_06
Last ObjectModification: 2011_01_26-PM-05_38_06

Home Index