What is to make smaller by a half step; to make (an interval) less than minor; as, a diminished seventh called?

diminish — (Mus.) To make smaller by a half step; to make (an interval) less than minor; as, a diminished seventh. (Webster's 1913.)

Sources