Introduction to Local Mining History