Procli insignis philosophi compendiaria de motu disputatio, posteriores quinque Aristotelis de auscultatione naturali libros, mira brevitate complectens.