Def FIncr == {f | i:  if i=0  else {f(i-1)...} fi}

is mentioned

In prior sections: rfunction 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html