Nuprl Definition : rsc5_NewVoters
rsc5_NewVoters(Cmd) == rsc5_when_new_proposal(Cmd)@Loc|Loc,rsc5_Proposal(Cmd), rsc5_ReplicaState(Cmd)|
Definitions occuring in Statement :
rsc5_ReplicaState: rsc5_ReplicaState(Cmd),
rsc5_when_new_proposal: rsc5_when_new_proposal(Cmd),
rsc5_Proposal: rsc5_Proposal(Cmd),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|
FDL editor aliases :
rsc5_NewVoters
rsc5\_NewVoters(Cmd) ==
rsc5\_when\_new\_proposal(Cmd)@Loc|Loc,rsc5\_Proposal(Cmd), rsc5\_ReplicaState(Cmd)|
Date html generated:
2012_02_20-PM-05_09_25
Last ObjectModification:
2012_02_02-PM-02_19_48
Home
Index