mining drills, cutting tools for machine tools, namely, cemented carbide cutting tools and diamond-pointed metal cutting tools for machines; hard metal and cemented carbide inserts being parts of machines, drilling heads in the nature of core drilling bits; stamping matrices in the nature of automatic stamping machines and drawing dies for use with machine tools