Haiting, active 1681, bian ji. Wan song chan lin, kan. 海霆, active 1681, 編集. 萬松禪林, 刋.
Qianlong ding chou [22 nian, 1757] zeng bu 1757 乾隆丁丑 [22年, 1757] 增補.
China [China] [China] :
Wan song chan lin 萬松禪林,