[470] Hohleisen, 1) so v.w. Hohlmeißel; 2) eine Art Bohrer, s.d. A) c); 3) hohl ausgetriebenes Eisen.
Adelung-1793: Hohleisen, das
Lueger-1904: Hohleisen, Hohlflacheisen
Meyers-1905: Hohleisen