Nuprl Definition : new_23_sig_messages-delivered
new_23_sig_messages-delivered{i:l}(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) ==
msgs-interface-delivered{i:l}(new_23_sig_main();f)
Definitions occuring in Statement :
new_23_sig_main: new_23_sig_main(),
msgs-interface-delivered: msgs-interface-delivered{i:l}(X;f)
FDL editor aliases :
new_23_sig_messages-delivered
Latex:
new\_23\_sig\_messages-delivered\{i:l\}(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) ==
msgs-interface-delivered\{i:l\}(new\_23\_sig\_main();f)
Date html generated:
2015_07_23-PM-03_52_54
Last ObjectModification:
2013_11_23-PM-09_57_07
Home
Index