House reports on public bills, 85th Congress. 377. Amending act for retirement of public-school teachers in District of Columbia. Report from Committee on District of Columbia to accompany H. R. 6454.