Nuprl Definition : base4-rep
base4-rep(n) == let L 
fst((TERMOF{vr_base4-ext:o, 1:l} n)) in L
Definitions occuring in Statement :
pi1: fst(t),
apply: f a,
callbyvalueall: callbyvalueall
FDL editor aliases :
base4-rep
base4-rep(n) == let L \mleftarrow{}{} fst((TERMOF\{vr\_base4-ext:o, 1:l\} n)) in L
Date html generated:
2012_02_20-PM-03_31_14
Last ObjectModification:
2012_02_02-PM-01_55_01
Home
Index