---

es-r-immediate-pred(es;R;e';e) ==  R! e' e

---

Definitions :  apply: f a,  rel-immediate: R!,  es-E: E
FDL editor aliases :  es-r-immediate-pred

---

es-r-immediate-pred(es;R;e';e)  ==    R!  e'  e


Date html generated: 2010_08_27-AM-09_43_33
Last ObjectModification: 2009_12_17-PM-10_51_25

Home Index