Nuprl Definition : Vote

Vote(Cmd) ==  Base(``sc vote``;    Cmd)


Proof not projected



Wellformedness Lemmas :  Vote_wf,  Vote_wf
Definitions occuring in Statement :  Vote: Vote(Cmd),  base-headers-msg-val: Base(hdr;typ),  product: x:A  B[x],  cons: [car / cdr],  nil: [],  int: ,  token: "$token"
FDL editor aliases :  Vote Vote Vote
Vote(Cmd)  ==    Base(``sc  vote``;\mBbbZ{}  \mtimes{}  \mBbbZ{}  \mtimes{}  Cmd)


Date html generated: 2011_10_21-AM-08_17_39
Last ObjectModification: 2011_07_20-AM-04_35_40

Home Index