---

Msg(M) ==  l:IdLnk  t:Id  (M l t)

---

Definitions :  IdLnk: IdLnk,  product: x:A  B[x],  Id: Id,  apply: f a
FDL editor aliases :  Msg

---

Msg(M)  ==    l:IdLnk  \mtimes{}  t:Id  \mtimes{}  (M  l  t)


Date html generated: 2010_08_26-PM-11_32_14
Last ObjectModification: 2008_02_27-PM-09_22_16

Home Index