Nuprl Definition : rsc4_NewVoters
rsc4_NewVoters(Cmd) == rsc4_when_new_proposal(Cmd)@Loc|Loc,rsc4_Proposal(Cmd), rsc4_ReplicaState(Cmd)|
Definitions occuring in Statement :
rsc4_ReplicaState: rsc4_ReplicaState(Cmd),
rsc4_when_new_proposal: rsc4_when_new_proposal(Cmd),
rsc4_Proposal: rsc4_Proposal(Cmd),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|
FDL editor aliases :
rsc4_NewVoters
rsc4\_NewVoters(Cmd) ==
rsc4\_when\_new\_proposal(Cmd)@Loc|Loc,rsc4\_Proposal(Cmd), rsc4\_ReplicaState(Cmd)|
Date html generated:
2012_02_20-PM-04_54_14
Last ObjectModification:
2012_02_02-PM-02_09_49
Home
Index