hammer mill


noun Mining.

a mill for breaking up ore or crushing coal.

Origin of hammer mill

First recorded in 1600–10