Nombres antiguos del municipio: "Real de Minas, Montañas de Santo Domingo y San Miguel de Santo Domingo."