Nuprl Definition : rsc4_messages-delivered
rsc4_messages-delivered{i:l}(Cmd;clients;cmdeq;coeff;flrs;locs) == 
eo.messages-delivered{i:l}(eo;rsc4_Main)
Definitions occuring in Statement :
rsc4_main: rsc4_Main,
messages-delivered: messages-delivered{i:l}(es;X),
lambda: x.A[x]
FDL editor aliases :
rsc4_messages-delivered
rsc4\_messages-delivered\{i:l\}(Cmd;clients;cmdeq;coeff;flrs;locs) ==
\mlambda{}eo.messages-delivered\{i:l\}(eo;rsc4\_Main)
Date html generated:
2012_02_20-PM-04_55_42
Last ObjectModification:
2012_02_02-PM-02_10_25
Home
Index