---

first-event{i:l}(es;e) ==  fst((TERMOF{the-first-event:o, 1:l, i:l} es e))

---

Definitions :  pi1: fst(t),  apply: f a,  the-first-event
FDL editor aliases :  first-event

---

first-event\{i:l\}(es;e)  ==    fst((TERMOF\{the-first-event:o,  1:l,  i:l\}  es  e))


Date html generated: 2010_08_27-AM-09_54_09
Last ObjectModification: 2009_12_17-PM-11_10_32

Home Index