E. Cobham Brewer 18101897. Dictionary of Phrase and Fable. 1898.
Diamond Hammer (A).
A hammer or pick for whetting millstones. The diamond hammer is provided with several sharp-pointed teeth to give a uniform roughness to the surface of the stone. Also to a steel pick with diamondshaped point at each extrernity to recut grooves in stone.