Definitions MarkB generic Sections NuprlLIB Doc

No other cites to report in MarkB_generic
spread5Def let a,b,c,d,e = u in v(a;b;c;d;e) == u/a,zz1. zz1/b,zz2. zz2/c,zz3. zz3/d,e. v(a;b;c;d;e)

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

About:
spread!abstraction

Definitions MarkB generic Sections NuprlLIB Doc