(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 diamond-shaped point at each extremity, to recut grooves in stone.
Source: Dictionary of Phrase and Fable, E. Cobham Brewer, 1894