Use `{(c-n)(m-n)}(c-d)' to be told what `(c-d)' would do.

LEFT-hand version recommended.

Delete selected text, or in text-slot, insert null string.
Or delete the term.
Replace stack top by deleted material.
But deleting a cover just removes the cover, leaving the covered term.

On "<ml> {<local auto>}" remove the operator and distribute the local auto code into the subterm. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html