The Collaborative International Dictionary of English v.0.48:

Punch \Punch\, n. [Abbrev. fr. puncheon.]
   1. A tool, usually of steel, variously shaped at one end for
      different uses, and either solid, for stamping or for
      perforating holes in metallic plates and other substances,
      or hollow and sharpedged, for cutting out blanks, as for
      buttons, steel pens, jewelry, and the like; a die.
      [1913 Webster]

   2. (Pile Driving) An extension piece applied to the top of a
      pile; a dolly.
      [1913 Webster]

   3. A prop, as for the roof of a mine.
      [1913 Webster]

   Bell punch. See under Bell.

   Belt punch (Mach.), a punch, or punch pliers, for making
      holes for lacings in the ends of driving belts.

   Punch press. See Punching machine, under Punch, v. i.


   Punch pliers, pliers having a tubular, sharp-edged steel
      punch attached to one of the jaws, for perforating
      leather, paper, and the like.
      [1913 Webster]

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]

WordNet (r) 3.0 (2006):

punch press
    n 1: a power driven press used to shape metal parts