Dol pri Hrastniku to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Obertal.
. Dziś miejscowość nazywa się Dol i należy do Słowenia.
| Historyczna nazwa miejscowości | Państwo | Administracja | Czas |
|---|---|---|---|
| Dol | Austro-Węgry | Cilli/Celje | przed traktatem pokojowym z Austrią |
| Dol pri Hrastniku | Jugosławia | Laško | po traktacie pokojowym z Austrią |
| Obertal | Rzesza Niemiecka | Trifail | 1941 |
| Dol pri Hrastniku | Jugosławia | Trbovlje | 1945 |
| Dol pri Hrastniku | Jugosławia | Socialistična rep. Slovenija | 1992 |
| Dol | Słowenia | Slowenien | 1991 |