Dictionary.com
Thesaurus.com

hammer mill

American  

noun

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


Etymology

Origin of hammer mill

First recorded in 1600–10