Nuprl Definition : ohc_v2_NewVoters
ohc_v2_NewVoters(Cmd) == ohc_v2_when_new_init(Cmd)@Loc|Loc,ohc_v2_Initial(Cmd), ohc_v2_ReplicaState(Cmd)|
Definitions occuring in Statement :
ohc_v2_ReplicaState: ohc_v2_ReplicaState(Cmd),
ohc_v2_when_new_init: ohc_v2_when_new_init(Cmd),
ohc_v2_Initial: ohc_v2_Initial(Cmd),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|
FDL editor aliases :
ohc_v2_NewVoters
ohc\_v2\_NewVoters(Cmd) ==
ohc\_v2\_when\_new\_init(Cmd)@Loc|Loc,ohc\_v2\_Initial(Cmd), ohc\_v2\_ReplicaState(Cmd)|
Date html generated:
2012_02_20-PM-05_51_59
Last ObjectModification:
2012_02_17-PM-10_25_45
Home
Index