Nuprl Definition : vr_test_messages-delivered
vr_test_messages-delivered{i:l}(m1;m2) == 
eo.messages-delivered{i:l}(eo;vr_test_main(m1;m2))
Definitions occuring in Statement :
vr_test_main: vr_test_main(m1;m2),
messages-delivered: messages-delivered{i:l}(es;X),
lambda: x.A[x]
FDL editor aliases :
vr_test_messages-delivered
vr\_test\_messages-delivered\{i:l\}(m1;m2) == \mlambda{}eo.messages-delivered\{i:l\}(eo;vr\_test\_main(m1;m2))
Date html generated:
2012_02_20-PM-07_48_06
Last ObjectModification:
2012_02_03-PM-08_18_56
Home
Index