LocKnd == {ik:Id 
Knd| let i,k = ik in 
hasloc(k;i)}
Definitions :
set: {x:A| B[x]} ,
product: x:A B[x],
Id: Id,
Knd: Knd,
spread: spread def,
assert: b,
hasloc: hasloc(k;i)
FDL editor aliases :
LocKnd
LocKnd == \{ik:Id \mtimes{} Knd| let i,k = ik in \muparrow{}hasloc(k;i)\}
Date html generated:
2010_08_26-PM-11_42_15
Last ObjectModification:
2008_02_27-PM-09_34_54
Home
Index