[1007] 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[1007] derjenige Hammer, welcher bey dem hauen der Feilen den Meißel treibt.