高贵乡公甘露三年二月，大将军司马文王陷寿春城，斩诸葛诞。

三月，诏曰：古先克敌，收其尸以为京观，所以惩昏逆而彰武功也。汉孝武元鼎中，改桐乡为闻喜，新乡为获嘉，以着南越之亡。大将军亲总六戎，营据丘头，内夷群凶，外殄寇虏，功济兆民，声振四海。克敌之地，宜有令名。其改丘头为武丘，以武平乱，后世不忘，亦京观二邑之义也。

北魏