(pp = 2qq) to (qq = 2p'p')

and then

(qq = 2p'p') to (p'p' = 2q'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