raise drill

raise drill

[′rāz ‚dril]
(mining engineering)
A circular raise driving machine which bores a pilot hole and reams it to finished raise diameter.
Mentioned in ?