Nuprl Definition : Proposal

Proposal(Cmd) ==  F()|Vote(Cmd), Propose(Cmd)|


Proof not projected



Wellformedness Lemmas :  Proposal_wf,  Proposal_wf,  Proposal_wf
Definitions occuring in Statement :  F: F(),  Proposal: Proposal(Cmd),  Propose: Propose(Cmd),  Vote: Vote(Cmd),  simple-comb-2: F|X, Y|
FDL editor aliases :  Proposal Proposal Proposal
Proposal(Cmd)  ==    F()|Vote(Cmd),  Propose(Cmd)|


Date html generated: 2011_10_21-AM-08_28_19
Last ObjectModification: 2011_07_20-AM-04_45_02

Home Index