Def no_repeats(T;l) == i,j:. i<||l||  j<||l||  i = j  l[i] = l[j]  T

is mentioned by

Thm* P:(T), l:T List. no_repeats(T;l)  no_repeats(T;filter(P;l))

[no_repeats_filter]

In prior sections: mb list 1

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