Text this: Catalogue of additions to the library of the U.S. Patent Office, May 1, 1883-May 1, 1888.