Digest of procedures, no. 83-93; Jan.-Nov. 1941.

Tools