John Chamber's search (the source MMario used) does supply the tunes in MIDI format as well as ABC and you will almost certainly already have software capable of playng MIDIs installed on your computer.Having said that, if as suggested above you would like to have a look at ABC, I reccommend you visit at ABC hompage at http://www.gre.ac.uk/~c.walshaw/abc/. Which sould tell you all you need to know and provide a number of useful links.
This site does provide a link to ABC2Win as well other softwate. One program that is worth mentioning is Melody Assistant which is $15 shareware. This one is capable of handling MIDI and ABC as well as other formats.
Jon