Who Cites so lambda3?
so_lambda3	Def (x,y,z. t(x;y;z))(x,y,z) == t(x;y;z)

Syntax:

x,y,z. t(x;y;z)

has structure:

so_lambda(x,y,z.t(x;y;z))

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