Nuprl Definition : RSC_Proposal
RSC_Proposal(Cmd) == RSC_Propose(Cmd) || RSC_vote2prop()@|Loc, RSC_Vote(Cmd)|
Definitions occuring in Statement :
RSC_vote2prop: RSC_vote2prop(),
RSC_Propose: RSC_Propose(Cmd),
RSC_Vote: RSC_Vote(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y
FDL editor aliases :
RSC_Proposal
RSC\_Proposal(Cmd) == RSC\_Propose(Cmd) || RSC\_vote2prop()@|Loc, RSC\_Vote(Cmd)|
Date html generated:
2012_02_20-PM-04_00_14
Last ObjectModification:
2012_02_02-PM-01_58_48
Home
Index