Before revision: Tool steel is any of various carbon steels and alloy steels that are particularly well-suited to be made into tools and tooling, including cutting tools, dies, hand tools, knives, and others.
After revision: thumbTool steel is any of various carbon steels and alloy steels that are particularly well-suited to be made into tools and tooling, including cutting tools, dies, hand tools, knives, and others.