Procli Diadochi in Platonis Cratylum commentaria - Πρόκλος, περ. 410-485 (Bibliotheca scriptorum Graecorum et Romanorum Teubneriana. [Scriptores graeci], 1908)