House reports on public bills, 93d Congress. 0856. Amending title 35, United States Code, ‘Patents.’ Report from Committee on Judiciary to accompany H.R.9199.