Значение слова ТОЧИЛЬНЯ в Новом толково-словообразовательном словаре русского языка Ефремовой

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

ж. разг.

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

Ефремова. Новый толково-словообразовательный словарь русского языка Ефремовой.