---

once-class(X) ==  (X until X)

---

Definitions occuring in Statement :  until-class: (X until Y)
Definitions :  until-class: (X until Y)
FDL editor aliases :  once-class

---

once-class(X)  ==    (X  until  X)


Date html generated: 2011_08_16-PM-04_41_13
Last ObjectModification: 2011_06_19-PM-07_02_50

Home Index