Nuprl Definition : rec-combined-loc-class1-prc

rec-combined-loc-class1-prc(B;n;Xs;F) ==  TERMOF{rec-combined-loc-class-locally-programmable1:o, 1:l, 1:l} B n Xs F


Proof not projected



Definitions occuring in Statement :  apply: f a
FDL editor aliases :  rec-combined-loc-class1-prc
rec-combined-loc-class1-prc(B;n;Xs;F)  ==
    TERMOF\{rec-combined-loc-class-locally-programmable1:o,  1:l,  1:l\}  B  n  Xs  F


Date html generated: 2011_10_20-PM-03_26_29
Last ObjectModification: 2011_09_29-PM-11_03_59

Home Index