I'm not sure if I've seen any of those, and I haven't even heard of the last one! But I figure I have at least seen some clips from Charlie Brown's Christmas: anything from that series is set in a very interesting universe (OUT OF CHARACTER: I knew I was getting older when, for the latest Peanuts movie, the trombone player they cast to play the 'voice' of the grown-ups was younger than I was!)
Thinking further, I'm familiar enough with the Grinch (the Dr Seuss version) from other aspects of pop culture that I kind of have an idea for that one even though I have never sat down through the movie from start to the finish. And as for the Muppets? I know a bit of Muppet stuff - and it makes sense that they'd fit a Christmas carol into that, but... apparently it was released in 1992 - when (again OUT OF CHARACTER) I was the perfect age to see it, but I didn't?
And for some reason, as per children's classics, right now the Alvin and the Chipmunks hula-hoop song is going through my head, but was that a Christmas special or just an animated bit that I remembered it being into one?