Nuprl Definition : ohc_v1_messages-delivered

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

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

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

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

ohc\_v1\_messages-delivered\{i:l\}(Cmd;cmdeq;flrs;learners;locs) == \mlambda{}eo.messages-delivered\{i:l\}(eo;ohc\_v1\_main(Cmd;cmdeq;flrs;learners;locs)) Date html generated: 2012_02_20-PM-05_29_06 Last ObjectModification: 2012_02_13-PM-01_00_27 Home Index