Manual of Mining Tools