(pp = aqq) to (qq = ap'p')

and then

(qq = ap'p') to (p'p' = aq'q')

would be rewriting

(66 = 288) to (88 = 233)

and then

(88 = 233) to (33 = 244)

(BACK)

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