drag-stone mill

drag-stone mill

[′drag ‚stōn ‚mil]
(mining engineering)
A mill in which a heavy stone is dragged over ore to grind it.
Mentioned in ?