Nuprl Definition : rsc3_main
rsc3_main(Cmd;clients;cmdeq;coeff;flrs;locs) == rsc3_Replica(Cmd;clients;cmdeq;coeff;flrs;locs)@locs
Definitions occuring in Statement :
rsc3_Replica: rsc3_Replica(Cmd;clients;cmdeq;coeff;flrs;locs),
class-at: X@locs
FDL editor aliases :
rsc3_main
rsc3\_main(Cmd;clients;cmdeq;coeff;flrs;locs) ==
rsc3\_Replica(Cmd;clients;cmdeq;coeff;flrs;locs)@locs
Date html generated:
2012_02_20-PM-04_39_40
Last ObjectModification:
2012_02_02-PM-02_04_35
Home
Index