The online English-English dictionary from The Project Gutenberg
Result for Trip hammer
A tilt hammer.