Def  split_factor1(g; x)(u)
Def  == if u=x g(x)+g(xx)+g(xx) ; u=xx 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