[368] Pantoffelholz, soviel wie Kork; auch ein Werkzeug in der Lederfabrikation (s. Leder, S. 309).
Adelung-1793: Pantoffelholz, das
Brockhaus-1837: Pantoffelholz
Herder-1854: Pantoffelholz
Pierer-1857: Pantoffelholz