Manual of procedure, revised to July 1, 1941.

Tools