Def  split_factor2(g; x; y)(u)
Def  == if u=x g(x)+g(xy) ; u=y g(y)+g(xy) ; u=xy 0 else g(u) fi

is mentioned

In prior sections: FTA

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