Def i<j == if i<j true ; false fi

is mentioned by

Thm* (n.n<0) = (n.false)	[sfa_doc_sqtype_ctr_example_part2]
Thm* ((n.n<0) ~ (n.false))	[sfa_doc_sqtype_ctr_example_part1]
Def max(a;b) == if a<b b else a fi	[sfa_doc_max_int]

In prior sections: bool 1 sqequal 1 list 1

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