Hypertext Webster Gateway: "punching"
From Webster's Revised Unabridged Dictionary (1913) (web1913)
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.
{Punching machine}, or {Punching press}, a machine tool for
punching holes in metal or other material; -- called also
{punch press}.
Additional Hypertext Webster Gateway Lookup
Gateway by dict@stokkie.net
stock only wrote the gateway and does not have any control over the contents;
see the Webster Gateway FAQ,
and also the Back-end/database links and credits.