Procli philosophi platonici Opera : e codd. mss. Biblioth. Reg. Parisiensis - Proclus Atheniensis, 412-485‏ (Didot, 1820)