Meaning of PUNCH in English

PUNCH

(n.) A prop, as for the roof of a mine.

Webster's English dictionary.      Английский словарь Webster.