Title: The library of Philip Robinson. Part I.