pRunInfo(P.M[P]) == ?
Id Id pMsg(P.M[P])
Definitions :
union: left + right,
int: ,
product: x:A B[x],
Id: Id,
pMsg: pMsg(P.M[P]),
unit: Unit
FDL editor aliases :
pRunInfo
pRunInfo(P.M[P]) == ?\mBbbZ{} \mtimes{} Id \mtimes{} Id \mtimes{} pMsg(P.M[P])
Date html generated:
2010_08_27-PM-03_52_55
Last ObjectModification:
2010_05_05-PM-06_57_09
Home
Index