---

Normal(ds) ==  xdom(ds). A=ds(x)   A

---

Definitions :  fpf-all: xdom(f). v=f(x)   P[x; v],  Id: Id,  id-deq: IdDeq
FDL editor aliases :  normal-ds

---

Normal(ds)  ==    \mforall{}x\mmember{}dom(ds).  A=ds(x)  {}\mRightarrow{}    A


Date html generated: 2010_08_27-AM-12_03_41
Last ObjectModification: 2008_02_27-PM-09_49_51

Home Index