Public law 112-388 (with omissions), 80th Congress. 351. H. R. 3852, act to amend act for retirement of public school teachers in District of Columbia, approved Aug. 7, 1946.