---

run-lt(r) ==  run-pred(r)^+

---

Definitions :  rel_plus: R^+,  runEvents: runEvents(r),  run-pred: run-pred(r)
FDL editor aliases :  run-lt

---

run-lt(r)  ==    run-pred(r)\^{}+


Date html generated: 2010_08_27-PM-06_38_38
Last ObjectModification: 2010_04_28-PM-01_17_48

Home Index