---

es-header(es;e) ==  fst(info(e))

---

Definitions occuring in Statement :  es-info: info(e),  pi1: fst(t)
Definitions :  pi1: fst(t),  es-info: info(e)
FDL editor aliases :  es-header

---

es-header(es;e)  ==    fst(info(e))


Date html generated: 2011_08_17-PM-03_59_43
Last ObjectModification: 2011_05_12-PM-06_38_09

Home Index