① 武后时，监察御史王守真乞出家为僧，名法成，于京兆西市疏凿池，支分永安渠水注之，以为放生之所。穿池之际，获古石，铭云云。自隋朝置都市，至其时正一百年矣。
百年为市后为池。