Patents. [Manual of classification of patents. 1940, substitute pages containing corrections.]