If my understanding is correct, DL has music loops that are played throughout the day in the different areas of the parks.
Once or twice a year Al Lutz over at miceage.com writes about the Christmas music that is played in Main Street, and he compiled the full list of songs and artists, etc, that make up the Christmas loop.
The music that's played in Main Street after RDCT is probably not a specific set of songs, but part of the music loop that's played in Main Street throughout the day. (I'm not totally sure, that's just what I think is the case.)
Kirsten Wahlquist has a website called
www.disneymusicloops.com.
If you go to her web-site, you can click on:
"
Disneyland Resort" - 49 loops
"Main Street USA"
"Main Street USA Area Music (1972 - present)"
and you will see a list of 29 pieces of music that are played in Main Street.
ETA: FWIW, here's the link to Al Lutz's article about the Main Street Christmas Loop:
http://miceage.micechat.com/allutz/al110608a.htm
HTH