---

dd avoids x ==  let S,ds,da = dd in i:Id. ((i  S)  (x  dom(ds i)))

---

Definitions :  spreadn: spread3,  all: x:A. B[x],  implies: P  Q,  l_member: (x  l),  Id: Id,  not: A,  assert: b,  fpf-dom: x  dom(f),  id-deq: IdDeq,  apply: f a
FDL editor aliases :  es-decl-set-avoids

---

dd  avoids  x  ==    let  S,ds,da  =  dd  in  \mforall{}i:Id.  ((i  \mmember{}  S)  {}\mRightarrow{}  (\mneg{}\muparrow{}x  \mmember{}  dom(ds  i)))


Date html generated: 2010_08_27-AM-09_31_54
Last ObjectModification: 2009_12_16-AM-01_09_07

Home Index