hammer mill

noun

, Mining.

1. a mill for breaking up ore or crushing coal.

Word History and Origins

Origin of hammer mill¹

First recorded in 1600–10