Punched

1 definition found

From The Collaborative International Dictionary of English v.0.48 [gcide]:

  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]