Senate reports on public bills, 93d Congress. 1399. Changing name of Patent Office. Report from Committee on Judiciary to accompany H.R.7599.