Does anyone have the lyrics to the Scottish tune, "When the Battle's O'er". I recall hearing Mary Williamnson or perhaps the Corries sing it some time ago. So far I can't locate it in any of the folksong lyric data bases.