Manual of classification of patents [revised to July 1947].