The Probert Encyclopaedia of Science & Technology

DIAMOND HAMMER

A diamond hammer was a hammer or pick provided with several sharp-pointed teeth and used for giving a uniform roughness to the surface of a millstone which is was used for whetting. The term diamond hammer was also applied to a steel pick with a diamond-shaped point at each extremity which was used for recutting grooves in stone.
Research Diamond Hammer