Who Cites so lambda1?
so_lambda1	Def (1. b(1))(1) == b(1)

Syntax:

1. b(1)

has structure:

so_lambda(1.b(1))

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