Nuprl Definition : l_tree

l_tree(L;T) ==  {p:l_treeco(L;T)| (l_treeco_size(p))↓



Definitions occuring in Statement :  l_treeco_size: l_treeco_size(p) l_treeco: l_treeco(L;T) has-value: (a)↓ set: {x:A| B[x]} 
FDL editor aliases :  l_tree
l\_tree(L;T)  ==    \{p:l\_treeco(L;T)|  (l\_treeco\_size(p))\mdownarrow{}\} 



Date html generated: 2015_07_17-AM-07_41_20
Last ObjectModification: 2014_05_05-PM-02_28_35

Home Index