pi_prefix() == chan:Name 
Name + (chan:Name Name)
Definitions :
union: left + right,
product: x:A B[x],
name: Name
FDL editor aliases :
pi_prefix
pi\_prefix() == chan:Name \mtimes{} Name + (chan:Name \mtimes{} Name)
Date html generated:
2010_08_27-PM-08_36_23
Last ObjectModification:
2010_02_11-PM-06_29_46
Home
Index