hammer mill

noun Mining.

a mill for breaking up ore or crushing coal.

Origin of hammer mill

First recorded in 1600–10

Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018