The tools are:
Drill steel or borer - there is a distict widening at the lower end.
Mallet (this is the term used by Williams' Perran Foundry Co) 'for beating borers'; the modern shape of sledge hammer head was termed a sledge but was desscribed as being specifically as 'used for breaking ores'.
Mandrel or pick; the shape of this one is typical of a collier's holing mandrel (note straight head; 'bottom' mandrels for cutting stone out of the floor of a stall or roadway were curved). In contrast, the classic metal miner's pick was single ended.
Above detail mainly derived from Williams' Perran Foundry Co catalogue of mining tools and plant, 1870. Other catalogues and textbooks will probably give varient names, especially for picks.