Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in StandardLib
spread5Def let a,b,c,d,e = u in v(a;b;c;d;e)
Def == u/a,zz1zz1/b,zz2zz2/c,zz3zz3/d,ev(a;b;c;d;e)

Syntax:let a,b,c,d,e = u in v(a;b;c;d;e) has structure: spreadn(ua,b,c,d,e.v(a;b;c;d;e))

About:
spread!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Definitions StandardLib Sections NuprlLIB Doc