Nuprl Definition : OARcast_messages-delivered

OARcast_messages-delivered{i:l}(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;orderers;orderhdr;receivers;senders;mf) ==
msgs-interface-delivered{i:l}(OARcast_main(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;orderers;...;...;...;mf);mf)

Definitions occuring in Statement : OARcast_main: OARcast_main(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;orderers;orderhdr;receivers;senders;mf), msgs-interface-delivered: msgs-interface-delivered{i:l}(X;f)
FDL editor aliases : OARcast_messages-delivered

Latex:
OARcast\_messages-delivered\{i:l\}(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;...;...;...;...;mf) == msgs-interface-delivered\{i:l\}(OARcast\_main(M;deliverhdr;deqM;flrs;...;...;...;...;...;...;mf);mf) Date html generated: 2015_07_23-PM-00_36_09 Last ObjectModification: 2014_08_20-PM-00_10_51 Home Index