Nuprl Definition : mem_test_messages-delivered
mem_test_messages-delivered{i:l}(A;G) == 
eo.messages-delivered{i:l}(eo;mem_test_main(A;G))
Definitions occuring in Statement :
mem_test_main: mem_test_main(A;G),
messages-delivered: messages-delivered{i:l}(es;X),
lambda: x.A[x]
FDL editor aliases :
mem_test_messages-delivered
mem\_test\_messages-delivered\{i:l\}(A;G) == \mlambda{}eo.messages-delivered\{i:l\}(eo;mem\_test\_main(A;G))
Date html generated:
2012_02_20-PM-05_14_59
Last ObjectModification:
2012_02_17-PM-06_26_56
Home
Index