Def ij == j<i

is mentioned by

Thm* n,m:. firstn(n;upto(m)) ~ if nm upto(n) else upto(m) fi

[firstn_upto]

In prior sections: bool 1 int 2 list 1

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