IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g)
Def == u/a,zz1.
Def == zz1/b,zz2. zz2/c,zz3. zz3/d,zz4. zz4/e,zz5. zz5/f,g. v(a;b;c;d;e;f;g)
is not otherwise mentioned in this or prior sections.
Try larger context:
StandardLIB
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html