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