Nuprl Definition : Memory1-prc
Memory1-prc(B;init;tr;Xpr) == TERMOF{Memory1-locally-programmable:o, 1:l, 1:l} B init tr Xpr
Definitions occuring in Statement :
apply: f a
FDL editor aliases :
Memory1-prc
Memory1-prc
Memory1-prc(B;init;tr;Xpr) == TERMOF\{Memory1-locally-programmable:o, 1:l, 1:l\} B init tr Xpr
Date html generated:
2012_01_23-PM-01_27_39
Last ObjectModification:
2012_01_12-AM-10_32_36
Home
Index