[9th] annual report of mine inspector, 1901.

Tools