Nuprl Definition : rsc2_messages-delivered

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

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

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

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

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