Nuprl Definition : rsc5_messages-delivered

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

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

Definitions occuring in Statement : messages-delivered: messages-delivered{i:l}(es;X), lambda:

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

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