(ml, insert) if <ml> then <ml> else <ml> IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html