The Collaborative International Dictionary of English v.0.48:

Punch \Punch\, v. t. [imp. & p. p. Punched; p. pr. & vb. n.
   Punching.] [From Punch, n., a tool; cf. F.
   poin[,c]onner.]
   To perforate or stamp with an instrument by pressure, or a
   blow; as, to punch a hole; to punch ticket.
   [1913 Webster]

   Punching machine, or Punching press, a machine tool for
      punching holes in metal or other material; -- called also
      punch press.
      [1913 Webster]