Who Cites so lambda2?
so_lambda2	Def  (1,2. b(1;2))(1,2) == b(1;2)

Syntax:

1,2. b(1;2)

has structure:

so_lambda(1,2.b(1;2))

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