Six books of proclus, the platonic successor, on the theology of plato, tr. from the greek, the: to which a seventh book is added, in order to supply the deficiency of another book on this subject, which was written by proclus, but since lost. also, a tran