What is to make thin (in any of the senses of the adjective) called?

thin — To make thin (in any of the senses of the adjective). (Webster's 1913.)

Sources