Origin of the name Tommy

Diminutive of Thomas.