mining tools as were what they were