IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
An example of the two step rewrite
(p
p = 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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
