IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
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)
is not otherwise mentioned in this or prior sections.
Try larger context:
MarkB generic
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html