石窟十寺，在大同府城西三十五里，后魏時建。始于神瑞，終于正光，凡七帝，歷百十有一年。其寺：一同升，二靈光，三鎮(zhèn)國，四護國，五崇福，六童子，七能仁，八華嚴，九天宮，十兜率。寺內(nèi)有元載所修石佛二十龕。金皇統(tǒng)間修。 （《成化山西通志》卷5《寺觀》）