Nuprl Definition : new_23_sig_main
new_23_sig_main() == new_23_sig_Replica(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f)@reps
Definitions occuring in Statement :
new_23_sig_Replica: new_23_sig_Replica(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f),
class-at: X@locs
FDL editor aliases :
inew_23_sig_main
Latex:
new\_23\_sig\_main() ==
new\_23\_sig\_Replica(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f)@reps
Date html generated:
2015_07_23-PM-03_52_38
Last ObjectModification:
2013_11_23-PM-09_56_49
Home
Index