Kind == IdLnk 
Id + (Id Id)
Definitions :
union: left + right,
IdLnk: IdLnk,
product: x:A B[x],
Id: Id
FDL editor aliases :
Kind
Kind == IdLnk \mtimes{} Id + (Id \mtimes{} Id)
Date html generated:
2010_08_26-PM-11_32_36
Last ObjectModification:
2009_10_14-PM-01_21_54
Home
Index