---

Msg_sub(l;M) ==  {m:Msg(M)| haslink(l;m)} 

---

Definitions :  set: {x:A| B[x]} ,  Msg: Msg(M),  haslink: haslink(l;m)
FDL editor aliases :  Msg_sub

---

Msg\_sub(l;M)  ==    \{m:Msg(M)|  haslink(l;m)\} 


Date html generated: 2010_08_26-PM-11_32_28
Last ObjectModification: 2008_02_27-PM-09_22_38

Home Index