She picked up her mining tools and left him without looking back.

It is a set of personally-owned mining tools and equipment needed by the miner in his daily work.

The arms show an old copper symbol above two crossed mining tools in yellow on a red background.

The mining tools are, of course, a traditional miner's symbol.

Particularly in a region where everybody's carrying mining tools.

Pick and shovel were the most useful mining tools.

At length all was prepared, and the articles that remained were buried in the cave together with the mining tools.

He even paid for the sharpening of his mining tools.

The mining tools in the third quarter remember the mining history of the town, which dates back till the 12th century.

Many artifacts are on display in the buildings, including authentic mining tools and household items.