Содержимое раздела
В данном разделе рассматриваются материалы, используемые для изготовления инструментов, и сами инструменты, применявшиеся в горном деле. Анализируются различные типы металлов, используемые для изготовления кирки, лопаты и другого оборудования. Описываются техника ковки и другие методы обработки металла, используемые в Средние века. Рассматриваются инструменты для проходки туннелей, включая молоты, зубила и взрывчатку (в поздний период). Обсуждается роль дерева и других материалов в горном деле.