Nuprl Definition : rsc2_Proposal
rsc2_Proposal(Cmd) == rsc2_propose'base(Cmd) || rsc2_vote2prop(Cmd)@|Loc, rsc2_vote'base(Cmd)|
Definitions occuring in Statement :
rsc2_vote2prop: rsc2_vote2prop(Cmd),
rsc2_propose'base: rsc2_propose'base(Cmd),
rsc2_vote'base: rsc2_vote'base(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y
FDL editor aliases :
rsc2_Proposal
rsc2\_Proposal(Cmd) == rsc2\_propose'base(Cmd) || rsc2\_vote2prop(Cmd)@|Loc, rsc2\_vote'base(Cmd)|
Date html generated:
2012_02_20-PM-04_43_57
Last ObjectModification:
2012_02_02-PM-02_06_32
Home
Index