Com(P.M[P]) ==  
P."msg":M[P] |+ "create":P |+ "choose":Id |+ "new":Unit
Definitions : 
lambda:
x.A[x], 
tagged+: T |+ z:B, 
tag-case: z:T, 
Id: Id, 
token: "$token", 
unit: Unit
FDL editor aliases : 
Com
Com(P.M[P])  ==    \mlambda{}P."msg":M[P]  |+  "create":P  |+  "choose":Id  |+  "new":Unit
Date html generated:
2010_08_27-PM-03_47_56
Last ObjectModification:
2010_04_27-AM-11_32_00
Home
Index