Originally about 3400 sqmi in the center of Carbon County were once part of the Spanish Empire, then part of the Republic of Texas (1835-1845) and part of the State of Texas until 1852 when the northernmost part of that state was ceded to the US government.