Nuprl Definition : rsc3_Proposal
rsc3_Proposal(Cmd) == rsc3_propose'base(Cmd) || rsc3_vote2prop(Cmd)@|Loc, rsc3_vote'base(Cmd)|
Definitions occuring in Statement :
rsc3_vote2prop: rsc3_vote2prop(Cmd),
rsc3_propose'base: rsc3_propose'base(Cmd),
rsc3_vote'base: rsc3_vote'base(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y
FDL editor aliases :
rsc3_Proposal
rsc3\_Proposal(Cmd) == rsc3\_propose'base(Cmd) || rsc3\_vote2prop(Cmd)@|Loc, rsc3\_vote'base(Cmd)|
Date html generated:
2012_02_20-PM-04_14_07
Last ObjectModification:
2012_02_02-PM-02_04_15
Home
Index