Definition: keypunch

To punch holes in a punch card. Although punch cards are obsolete, some people still say "keys are punched" on a keyboard.