thân chinh đánh dẹp. Toàn thư lại chép rằng
năm 1014, tướng Man là Dương Trừng Húc
và Đoàn Kinh Chi đem hai mươi vạn người
vào cướp, đóng ở bến Kim Hoa, sắp đặt lại
quân dinh gọi là trại Ngũ Hoa. Châu mục châu
Bình Lâm là Hoàng An Vinh làm tờ tâu lên.
Vua sai Dực Thành vương đi đánh dẹp. Theo
Cương mục chú thì châu Bình Lâm là ở miền
huyện Quảng Nguyên tỉnh Cao Bằng, tức bến
Kim Hoa cũng ở miền ấy. Cũng theo Cương
mục chú thì châu Vỵ Long thời thuộc Minh đổi
làm châu Đại Man, là đất huyện Chiêm Hóa
tỉnh Tuyên Quang ngày nay. Châu Định
Nguyên: Toàn thư (bản, q.2) chép rằng vua
thân chinh châu Định Nguyên, tháng 8 xuất
quân, đến Đăng châu thì Đào thị dâng con gái,
vua nạp làm phi; ngày 17 đến Định châu,
Đăng châu nay là miền Phú Thọ, do đó ông
Hoàng Xuân Hãn (Lý Thường Kiệt 1) đánh
Định châu là ở miền Yên Bái. Văn Uyên: nay là
huyện Văn Uyên tỉnh Lạng Sơn. Đô Kim: nay là
huyện Hàm Uyên tỉnh Tuyên Quang. Thường
Tân: có lẽ cũng thuộc miền Tuyên Quang Hà
Giang, không rõ ở đâu. Bình Nguyên: đời Lê
đổi lại làm Vỵ Xuyên, nay là huyện Vỵ Xuyên
tỉnh Hà Giang. Quảng Nguyên: đời Lê đổi làm
Quảng Uyên, tương đương với miền các
huyện Quảng Uyên, Phúc Hòa và Thạch An
tỉnh Cao Bằng ngày nay. Na Lữ: Nhất thống chí
(Cao Bằng) chép rằng ở phía tây huyện Thạch
Lâm, trong núi phường Na Lữ còn có thành
đất chân xây bằng đá. Nùng Tồn Phúc hẳn là