n.
1 definition — Webster’s Dictionary (1828)
A kind of chisel or punch, variously shaped, with a broad flat end, used for stripping off rivet heads, etc.
98,828 entries. Headwords are matched first, then definition text.