Nuprl Definition : list_decomp_rev
list_decomp_rev{i:l}(l) == let x,y = TERMOF{list_decomp_reverse:o, 1:l, i:l} l in let L,a = y in <x, L>
Definitions occuring in Statement :
apply: f a,
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
apply: f a,
list_decomp_reverse,
spread: spread def,
pair: <a, b>
TermOfs occuring in Definition :
list_decomp_reverse
FDL editor aliases :
list_decomp_rev
Latex:
list\_decomp\_rev\{i:l\}(l) ==
let x,y = TERMOF\{list\_decomp\_reverse:o, 1:l, i:l\} l
in let L,a = y
in <x, L>
Date html generated:
2016_05_14-PM-02_58_42
Last ObjectModification:
2016_01_05-PM-00_16_28
Theory : list_1
Home
Index