---

df-program-type(dfp) ==  fst(dfp)

---

Definitions occuring in Statement :  pi1: fst(t)
Definitions :  pi1: fst(t)
FDL editor aliases :  df-program-type

---

df-program-type(dfp)  ==    fst(dfp)


Date html generated: 2011_08_10-AM-08_24_32
Last ObjectModification: 2011_03_16-PM-01_57_26

Home Index