Procli philosophi platonici Opera - Proclus Atheniensis, 412-485‏ (Didot, 1820)
Include indexes.