ТОЧИ́ЛЬНЯ, і, ж. Майстерня для гостріння різальних і колючих інструментів або для виготовлення чого-небудь точінням.
Словник української мови: в 11 тт. / АН УРСР. Інститут мовознавства; за ред. І. К. Білодіда. — К.: Наукова думка, 1970—1980.— Т. 10. — С. 213.