Although prospecting was undertaken as early as the 1850s in what became known as the Mammoth Mining District or the Old Hat Mining District, it was not until 1881 that mining intensified.