Document catalog. Catalog of public documents of 72d Congress, and of all departments of the Government, July 1, 1931-June 30, 1933.