Def firstn(n;as)
Def == Case of as
Def == Canil  nil
Def == Caa.as'  if 0<n [a / firstn(n-1;as')] else nil fi
Def (recursive)

is mentioned

In prior sections: list 1 mb list 1

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