Patrum Toletanorum opera" (Madrid, 1782-93).