光禄大夫尚书户部侍郎广成先生上柱国蔡国公臣杜光庭纂
洞
长安富平县北定陵,后通关乡,入谷二十余里,有二洞,一名东女学,一名西女学。其东女学,崖壁悬绝,洞门在崖面,跻攀不及,夜往往闻读书之声。其西女学,约山有路可到洞门,近门有一石室,可容一二十人。其洞门时有人,秉烛可入,行一二十里,两面有五门,皆各有题记,或通蓬莱及诸仙境。近年有石摧下,遮闭洞门,不通人入。又山项有一天井,直下深二丈许,有自然横石旁出,石下天井,亦可二丈余,可通人过,其底旁,有崖龛梯磴而上,屈曲甚广,龛内有道经数万卷,皆置於梧木板床之上。有一石人,俛首凭按而坐,形如生人。天井之底,有道门所投之简,委积朽烂,不知其数。其大顺年中,富平奉道人姓徐第七,曾於洞内取《养生经》出,外传。写却送山洞中。又向北行二十余里,有三泉,山谷中有石嵌,可容三二百人。当谷内有三石盆,其盆各广丈余,制度光滑,迨非人工。三盆涌出泉,水常满,余水流出山外。古老云:时有仙人浴此盆。大都此山有人触犯,即立致雷雹,损伤苗稼。由是乡里多隐蔽踪迹,难於寻访。山上有仙人,斗圣踪迹极多。束女学山前有神鹏一窠,常护洞门,人或侵犯者,神鹏击之,立致殒毙。古有道流,刻五石人致於山上。民有锄禾者,为鹏所惊,走避於石人之下,置笠於石人头上,鹏即击之。石人头陨,于今见在。其山下通关乡,多姓公孙,贾家山上石保村,多姓闻氏、麻氏。
繁阳山麻姑洞,即二十四化之第一阳平之别名也。在繁水之阳,因以为名。