Mr. Martin’s credits included “Have Yourself a Merry Little Christmas,” “The Boy Next Door,” and “The Trolley Song.”
