- Hauhammer, der
Der Hauhammer, des -s, plur. die -hämmer, im Bergbaue, ein Hammer, welcher auf der andern Seite ein Beil oder eine Art hat, und daher auch ein Hammerheil oder eine Hammerart genannt wird. Bey den Feilenhauern ist der Hauhammer derjenige Hammer, welcher bey dem hauen der Feilen den Meißel treibt.
http://www.zeno.org/Adelung-1793. 1793–1801.