Nuprl Definition : rsc3_messages-delivered

rsc3_messages-delivered{i:l}(Cmd;clients;cmdeq;coeff;flrs;locs) ==

eo.messages-delivered{i:l}(eo;rsc3_main(Cmd;clients;cmdeq;coeff;flrs;locs))

Definitions occuring in Statement : rsc3_main: rsc3_main(Cmd;clients;cmdeq;coeff;flrs;locs), messages-delivered: messages-delivered{i:l}(es;X), lambda:

x.A[x]
FDL editor aliases : rsc3_messages-delivered

rsc3\_messages-delivered\{i:l\}(Cmd;clients;cmdeq;coeff;flrs;locs) == \mlambda{}eo.messages-delivered\{i:l\}(eo;rsc3\_main(Cmd;clients;cmdeq;coeff;flrs;locs)) Date html generated: 2012_02_20-PM-04_40_13 Last ObjectModification: 2012_02_02-PM-02_04_50 Home Index