石窟十寺,在大同府城西三十五里,后魏时建。始于神瑞,终于正光,凡七帝,历百十有一年。其寺:一同升,二灵光,三镇国,四护国,五崇福,六童子,七能仁,八华严,九天宫,十兜率。寺内有元载所修石佛二十龛。金皇统间修。 (《成化山西通志》卷5《寺观》)