Nuprl Definition : rsc3_NewVoters
rsc3_NewVoters(Cmd) == rsc3_when_new_proposal(Cmd)@Loc|Loc,rsc3_Proposal(Cmd), rsc3_ReplicaState(Cmd)|
Definitions occuring in Statement :
rsc3_ReplicaState: rsc3_ReplicaState(Cmd),
rsc3_when_new_proposal: rsc3_when_new_proposal(Cmd),
rsc3_Proposal: rsc3_Proposal(Cmd),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|
FDL editor aliases :
rsc3_NewVoters
rsc3\_NewVoters(Cmd) ==
rsc3\_when\_new\_proposal(Cmd)@Loc|Loc,rsc3\_Proposal(Cmd), rsc3\_ReplicaState(Cmd)|
Date html generated:
2012_02_20-PM-04_14_38
Last ObjectModification:
2012_02_02-PM-02_04_28
Home
Index