北史魏圣武皇帝讳诘汾尝田于山泽见辎軿自天而下既至见美妇人自称天女受命相偶旦日请还期年周时复会于此言终而别及期帝至先田处果见天女所生男授帝曰此君之子也当世为帝王语讫而去即始祖神元皇帝也故时人谚曰诘汾皇帝无妇家力微皇帝无舅家力微神元讳蜀王本纪曰荆王鳖令死其尸流亡随江水上至成都复生见蜀王杜宇立以为相杜宇号望帝自以德不如鳖令以其国禅之号开明帝下至五代有开明尚始去帝号复称王