is mentioned by

Def leaf_value(t) == Case(t) Case tree_leaf(l) => l Default => True	[leaf_value]
Def right_child(t) == Case(t) Case x;y => y Default => t	[right_child]
Def left_child(t) == Case(t) Case x;y => x Default => t	[left_child]
Def is_leaf(t) == Case(t) Case tree_leaf(l) => true Default => false	[is_leaf]
Def t_iterate(l;n;t) Def == Case(t) Def == Case x;y => Def == Casen(t_iterate(l;n;x),t_iterate(l;n;y)) Def == Case tree_leaf(x) => Def == Casel(x) Def == Default => True Def (recursive)	[t_iterate]

Try larger context: MarkB generic IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html