Nuprl Definition : Msg_sub
Msg_sub(l;M) == {m:Msg(M)| haslink(l;m)}
Definitions occuring in Statement :
haslink: haslink(l;m),
Msg: Msg(M),
set: {x:A| B[x]}
FDL editor aliases :
Msg_sub
Msg\_sub(l;M) == \{m:Msg(M)| haslink(l;m)\}
Date html generated:
2015_07_17-AM-09_11_05
Last ObjectModification:
2012_02_25-AM-10_52_36
Home
Index