Nuprl Definition : ohc_v2_messages-delivered

ohc_v2_messages-delivered{i:l}(Cmd;cmdeq;flrs;learners;locs) ==

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

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

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

ohc\_v2\_messages-delivered\{i:l\}(Cmd;cmdeq;flrs;learners;locs) == \mlambda{}eo.messages-delivered\{i:l\}(eo;ohc\_v2\_main(Cmd;cmdeq;flrs;learners;locs)) Date html generated: 2012_02_20-PM-05_53_50 Last ObjectModification: 2012_02_17-PM-10_26_58 Home Index