Definition of punch-prop in English:

punch-prop

noun

Mining
  • A short pit prop.

Origin

Mid 19th century; earliest use found in George Greenwell (1821–1900).