Studies in Arabic versions of Greek texts and in mediaeval science — Shlomo Pines