Nuprl Definition : Propose

Propose(Cmd) ==  Base(``sc propose``;  Cmd)


Proof not projected



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


Date html generated: 2011_10_21-AM-08_21_29
Last ObjectModification: 2011_07_20-AM-04_38_54

Home Index