---

(e < e') ==  e es."<" e'

---

Definitions :  infix_ap: x f y,  record-select: r.x,  token: "$token"
FDL editor aliases :  es-causl

---

(e  <  e')  ==    e  es."<"  e'


Date html generated: 2010_08_27-AM-01_05_51
Last ObjectModification: 2009_12_28-AM-02_14_41

Home Index