Nuprl Basics - NuprlPrimitives Citations of select

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def l[i] == hd(nth_tl(i;l))

is mentioned by

Thm* as:T List. (i.as[i]){||as||} = as [sfa_doc_listify_select_id]

Def y greater-bounds x == i:||x||. x[i]<y [sfa_doc_greater_list_bound]

In prior sections: list 1

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Thm* as:T List. (i.as[i]){\|\|as\|\|} = as	[sfa_doc_listify_select_id]
Def y greater-bounds x == i:\|\|x\|\|. x[i]<y	[sfa_doc_greater_list_bound]