Is Thom short for Thomas?

If not then what?