YourDictionary

trip hammer

also trip·ham·mer or trip-ham·mer (trĭpˈhămˌər)

noun
A heavy, power-operated hammer that is lifted by a cam or lever and then dropped.

link/cite print suggestion box