---

normal-decl-set(dd) ==
  let S,ds,da = dd in 
  i:{i:Id| (i  S)} . (Normal(ds i)  Normal(da i))

---

Definitions :  spreadn: spread3,  all: x:A. B[x],  set: {x:A| B[x]} ,  l_member: (x  l),  Id: Id,  and: P  Q,  normal-ds: Normal(ds),  normal-da: Normal(da),  apply: f a
FDL editor aliases :  normal-decl-set

---

normal-decl-set(dd)  ==    let  S,ds,da  =  dd  in  \mforall{}i:\{i:Id|  (i  \mmember{}  S)\}  .  (Normal(ds  i)  \mwedge{}  Normal(da  i))


Date html generated: 2010_08_27-AM-09_32_19
Last ObjectModification: 2009_12_16-AM-01_09_47

Home Index