禹穴元从一罅通,禹陵元在乱山中
饮泉窆石皆如此,误却东游太史公
⑴ 自注:禹穴在今龙瑞宫,号阳明洞天。有崖石微裂处,指为穴。志文谓因开元龙见,更今名龙瑞。或谓乡下别有禹穴,为村民所填。禹穴志即苗山,今在大禹庙。庙林梅梁,其来甚古。玄圭不知出于何时,窆石为葬禹时下棺之石,庙貌乃汉魏间所造,然名曰帝大禹陵。陵在最高峰草木蒙茸,人亦罕至。
⑵ 自注:禹庙之侧有大禹寺,泉名菲饮,其来亦古。然泉淤浊,无足取。