Nuprl Definition : list_of_extensions_in_fin

Nuprl Definition : list_of_extensions_in_fin_spr

list_of_extensions_in_fin_spr(B;b) == if (b

fspr(B)) then mklist((B b) + 1;

i.(b @ [i])) else [] fi

Definitions occuring in Statement : list-in-fin_spr: (a

fspr(B)), append: as @ bs, ifthenelse: if b then t else f fi , apply: f a, lambda:

x.A[x], add: n + m, natural_number: $n, mklist: mklist(n;f)
FDL editor aliases : list_of_extensions_in_fin_spr
list\_of\_extensions\_in\_fin\_spr(B;b) == if (b \mmember{} fspr(B)) then mklist((B b) + 1;\mlambda{}i.(b @ [i])) else [] fi Date html generated: 2013_03_20-AM-10_36_00 Last ObjectModification: 2013_03_18-PM-10_21_05 Home Index