Not sure what they were mining, but historically in this area it could have been coal or lead.
Uploaded to Geograph by Dr Duncan Pepper on 12 August 2014
Photo © Dr Duncan Pepper, 12 August 2014. Licensed for reuse under this Creative Commons licence