---

fpf-domain(f) ==  fst(f)

---

Definitions :  pi1: fst(t)
FDL editor aliases :  fpf-domain

---

fpf-domain(f)  ==    fst(f)


Date html generated: 2010_08_26-PM-11_43_37
Last ObjectModification: 2008_02_27-PM-09_36_16

Home Index