Nuprl Definition : Memory3-prc

Memory3-prc(A1;A2;A3;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3) ==
  TERMOF{Memory3-locally-programmable:o, 1:l, 1:l} A1 A2 A3 B init tr1 tr2 tr3 Xpr1 Xpr2 Xpr3


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  Memory3-prc
Memory3-prc(A1;A2;A3;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3)  ==
    TERMOF\{Memory3-locally-programmable:o,  1:l,  1:l\}  A1  A2  A3  B  init  tr1  tr2  tr3  Xpr1  Xpr2  Xpr3


Date html generated: 2012_01_23-PM-01_30_19
Last ObjectModification: 2012_01_12-AM-11_03_29

Home Index