Yes I posted that answer naming those two carols. I don't believe Frosty the Snowman is a carol in the traditional sense. Also I visited a movie script site and opened up the Great Escape. Using CTRL and F I searched for Frosty and found no instances of it. It also seems a strange one for POWs to be singing. Finally I did not hear it after going through the film albeit in 30 second intervals.