EventSystems Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def x f y == f(x,y)

is mentioned

In prior sections: mb nat mb list 2 mb event system 2 rel 1 mb event system 3

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

EventSystems Sections NuprlLIB Doc