Nuprl Definition : rsc4_main
rsc4_Main == rsc4_Replica(Cmd;clients;cmdeq;coeff;flrs;locs)@locs
Definitions occuring in Statement :
rsc4_Replica: rsc4_Replica(Cmd;clients;cmdeq;coeff;flrs;locs),
class-at: X@locs
FDL editor aliases :
rsc4_main
rsc4\_Main == rsc4\_Replica(Cmd;clients;cmdeq;coeff;flrs;locs)@locs
Date html generated:
2012_02_20-PM-04_54_57
Last ObjectModification:
2012_02_02-PM-02_10_03
Home
Index