Definition of mill file in English:

mill file

noun

  • A type of file used (originally in machine shops) for sharpening saws and blades, and for finishing metals.

Origin

Mid 19th century; earliest use found in Scientific American.