Nuprl Definition : State3-prc

State3-prc(A1;A2;A3;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3) ==
  TERMOF{State3-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 :  State3-prc
Latex:
State3-prc(A1;A2;A3;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3)  ==
    TERMOF\{State3-locally-programmable:o,  1:l,  1:l\}  A1  A2  A3  B  init  tr1  tr2  tr3  Xpr1  Xpr2  Xpr3


Date html generated: 2016_05_17-AM-10_06_09
Last ObjectModification: 2012_11_30-PM-04_57_28

Theory : classrel!lemmas


Home Index