prior-init-prc(A;Xpr;init) ==
  TERMOF{primed-class-opt-locally-programmable:o, 1:l, 1:l} A init Xpr



Definitions occuring in Statement :  apply: f a
FDL editor aliases :  prior-init-prc

prior-init-prc(A;Xpr;init)  ==    TERMOF\{primed-class-opt-locally-programmable:o,  1:l,  1:l\}  A  init  Xpr


Date html generated: 2011_08_16-PM-06_34_11
Last ObjectModification: 2011_08_13-PM-09_40_29

Home Index