Def as\[i]
Def == if i0 tl(as) else Case of as; nil  nil ; a'.as'  a'.as'\[i-1] fi
Def (recursive)

is mentioned

In prior sections: list 1

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