Nuprl Definition : aa_lt_node-val
aa_lt_node-val(x) ==  aa_ltree_ind(x;;val,left_subtree,right_subtree,rec1,rec2.val)
Definitions occuring in Statement : 
aa_ltree_ind: aa_ltree_ind(x;leaf;val,left_subtree,right_subtree,rec1,rec2.node[val; left_subtree; right_subtree; rec1; rec2]), 
it:
FDL editor aliases : 
aa_lt_node-val
aa\_lt\_node-val(x)  ==    aa\_ltree\_ind(x;\mcdot{};val,left$_{subtree}$,right$_{\000Csubtree}$,rec1,rec2.val)
Date html generated:
2013_03_20-AM-10_58_03
Last ObjectModification:
2012_11_27-AM-10_32_37
Home
Index