---

pred(e) ==  outl(es-pred?(es;e))

---

Definitions :  outl: outl(x),  es-pred?: es-pred?(es;e)
FDL editor aliases :  es-pred

---

pred(e)  ==    outl(es-pred?(es;e))


Date html generated: 2010_08_27-AM-01_07_07
Last ObjectModification: 2009_12_28-PM-03_01_29

Home Index