Nuprl Definition : ler2_messages-delivered

ler2_messages-delivered{i:l}(client;nodes;uid) ==  eo.messages-delivered{i:l}(eo;ler2_main(client;nodes;uid))


Definitions occuring in Statement :  messages-delivered: messages-delivered{i:l}(es;X),  lambda: x.A[x]
FDL editor aliases :  ler2_messages-delivered
ler2\_messages-delivered\{i:l\}(client;nodes;uid)  ==
    \mlambda{}eo.messages-delivered\{i:l\}(eo;ler2\_main(client;nodes;uid))


Date html generated: 2012_02_20-PM-06_15_04
Last ObjectModification: 2012_02_02-PM-02_43_17

Home Index