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