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
spread6Def let a,b,c,d,e,f = u in v(a;b;c;d;e;f)
Def == u/a,zz1zz1/b,zz2zz2/c,zz3zz3/d,zz4zz4/e,fv(a;b;c;d;e;f)

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

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

Definitions StandardLib Sections NuprlLIB Doc