RunType == pRunType(P.Name 
mData)
Definitions :
pRunType: pRunType(T.M[T]),
product: x:A B[x],
name: Name,
mData: mData
FDL editor aliases :
RunType
RunType == pRunType(P.Name \mtimes{} mData)
Date html generated:
2010_08_27-PM-08_04_08
Last ObjectModification:
2010_06_09-PM-06_40_29
Home
Index