is mentioned by

Thm* Feasible()	[ma-empty-feasible]
Def (L) == reduce(A,B. A  B;;L)	[ma-join-list]

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