pCom(P.M[P]) ==  Com(P.M[P]) Process(P.M[P])
Definitions : 
apply: f a, 
Com: Com(P.M[P]), 
Process: Process(P.M[P])
FDL editor aliases : 
pCom
pCom(P.M[P])  ==    Com(P.M[P])  Process(P.M[P])
Date html generated:
2010_08_27-PM-03_48_17
Last ObjectModification:
2010_04_19-PM-06_00_12
Home
Index