IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`(c-a)(c-s)' kbd_explode
If the term is an explode-form, then implode it, else explode it. docforexplodeform
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html