Đại Việt sử ký toàn thư, bản kỷ, kỷ nhà Lý, phần Lý Thần Tông có viết rằng (bản dịch): Mậu Thân, Thiên Thuận năm thứ 1 ... ngày Mậu Tý, tôn thụy hiệu cho Đại Hành hoàng đế là Hiếu Từ Thần Thánh Văn Vũ Hoàng Đế, miếu hiệu là Nhân tông. Có phải ông Đại Hành hoàng đế này là ông nào Lý Nhân Tông không?