until-prc(A;Xpr;Ypr) ==
  TERMOF{until-class-locally-programmable-ext:o, 1:l, 1:l} A  Xpr Ypr



Definitions occuring in Statement :  it: apply: f a
FDL editor aliases :  until-prc

until-prc(A;Xpr;Ypr)  ==    TERMOF\{until-class-locally-programmable-ext:o,  1:l,  1:l\}  A  \mcdot{}  Xpr  Ypr


Date html generated: 2011_08_16-PM-06_32_49
Last ObjectModification: 2011_08_12-PM-05_49_46

Home Index