Well, it's actually considered improper to play Christmas hymns or carols before the vigil of Christmas day, i.e., after sundown of the night before xmas.
We're still in the season of Advent, so...never mind.
But, yes, all those kinds of sh***** tunes are in 1000 Standard Tunes (for professional use only) (No kidding, that's what the book says on the cover), in lead-sheet form, in the back of the book along with the other ethnic tunes organized by genre, season, or nationality.
I'm pretty sure lead sheets are in the Chuck Sher fakebooks and others as well — this is just the one I have for lounge lizard music like xmas cr** and stuff.
You can write all of the xmas tin-pan alley **** down on one three-inch by five-inch index card and not miss a single one, provided you can write the changes in a compact form and know how to transpose.