Eyelet punch

a machine for punching eyelet holes and fastening eyelets, as in paper or cloth.

See also: Eyelet

Webster's Revised Unabridged Dictionary, published 1913 by G. & C. Merriam Co.