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