---

comp-wf(cr) ==  fst(cr)

---

Definitions :  pi1: fst(t)
FDL editor aliases :  comp-wf

---

comp-wf(cr)  ==    fst(cr)


Date html generated: 2010_08_27-PM-08_22_29
Last ObjectModification: 2010_06_24-AM-10_57_27

Home Index