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 pointat each extrernity to recut grooves in stone.
· 
· 