据五代道士杜光庭编录的《洞天福地岳渎名山记》记载，
书中罗列的“十大洞天”第一个为“第一，王屋山洞，号“小有清虚天”。在王屋县”。
罗列的“三十六小洞天”的第一个为“第一，霍桐山洞，名“霍林洞天”。在福州长溪县”。