Provided that this subsection shall not apply to mines which have not been worked for the purpose of getting minerals or products thereof since the ninth day of August, eighteen hundred and seventy-two, being mines other than of coal, stratified ironstone, shale or fireclay.