Catalogue of the curious and valuable library of the late Thomas Tomas