《汉书·志·地理志上》
霸陵县，是以前的芷阳，文帝时改名。
霸陵，故芷阳，文帝更名。
Baling County was previously called Zhiyang. It was renamed during the reign of Emperor Wen.
<s>[INST] Translate the following Classical Chinese text into modern Chinese: 霸陵，故芷阳，文帝更名。 [/INST] 霸陵县，是以前的芷阳，文帝时改名。</s>
Translate the following Classical Chinese text into modern Chinese: 霸陵，故芷阳，文帝更名。
user
霸陵县，是以前的芷阳，文帝时改名。
assistant