Nuprl Definition : rec-combined-loc-class2-prc
rec-combined-loc-class2-prc(B;n;Xs;F) == TERMOF{rec-combined-loc-class-locally-programmable2: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-class2-prc
rec-combined-loc-class2-prc(B;n;Xs;F) ==
TERMOF\{rec-combined-loc-class-locally-programmable2:o, 1:l, 1:l\} B n Xs F
Date html generated:
2011_10_20-PM-03_26_46
Last ObjectModification:
2011_09_29-PM-11_08_08
Home
Index