In what now seems like a previous life, I used to work as a technician for what was then the GPO Post Office Telephones division which later became BT. We had various sets of feeler gauges which were marked as 10 mil, 38 mil or whatever. Before anyone tells me those values didn't exist, I don't actually remember the values, but I do remember "mil". I always understood that they were indeed thous.
I also recall being told that it came from the military. I have no idea as to whether or not that is correct, but we did use to have tools, eg pointed nose (snipe nose?) pliers officially known as Pliers, Wiring, No.2 which were universally known by their original name of "81's". Again I do wonder if the Pliers, Wiring etc description came from the military.
I think it is worth noting that ever since I started work in 1959, resistors, inductors & capacitors always used pre-fixes such as "kil", "meg", "milli", "micro" etc. to indicate a suitable value multiplier, with "milli" in particular referring to 1/1000 (ie 10 to the -3). Which brings us straight back to the feeler gauges being so many "mil", ie so many thous.
Peter G. Shaw