the giving a greater degree of hardness to bodies than they had before.

There are several ways of hardening iron and steel, as by hammering them, quenching them in cold water, &c. See Steel.

Case-Hardening. See Case-Hardening.