Manual of Mining Tools: Comprising Observations on the Materials From, and Processes by Which They Are Manufactured; Their Special Uses, Appli