diamond-drilln.(a) a drill armed with one or more diamonds used for boring hard substances;(b) a drill for boring rocks, having a head set with rough diamonds, a diamond-borer.
ΚΠ
1827 E. Turrell in Gill's Technol. Repository1 xxxiv. 129 Pierced by very fine diamond drills.
1881 E. MathesonAid Bk. Engin. Enterprise Abroad 391Diamond drills..will pierce the hardest known rocks.