MaName == LocKnd + (Id 
Id)
Definitions :
union: left + right,
LocKnd: LocKnd,
product: x:A B[x],
Id: Id
FDL editor aliases :
MaName
MaName == LocKnd + (Id \mtimes{} Id)
Date html generated:
2010_08_26-PM-11_42_33
Last ObjectModification:
2008_02_27-PM-09_35_15
Home
Index