Nuprl Definition : RSC_messages-delivered

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

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

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

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

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