Значение слова ТОЧИЛЬНЯ в Толковом словаре Ефремовой

Что такое ТОЧИЛЬНЯ

точильня

ж. разг.

Мастерская для точки (2*) режущих и колющих инструментов или для изготовления чего-л. точением.

Ефремова. Толковый словарь Ефремовой.