Source : Webster's Revised Unabridged Dictionary (1913)

Hardener \Hard"en*er\, n.
   One who, or that which, hardens; specif., one who tempers
   tools.