Index digest of published decisions of comptroller general of United States, July 1, 1940-June 30, 1940 [v. 20-25].