Message == pMsg(P.Name 
mData)
Definitions :
pMsg: pMsg(P.M[P]),
product: x:A B[x],
name: Name,
mData: mData
FDL editor aliases :
Msg
Message == pMsg(P.Name \mtimes{} mData)
Date html generated:
2010_08_27-PM-08_02_18
Last ObjectModification:
2010_06_09-PM-10_08_00
Home
Index