[1522] Der Wíderleger, des -s, plur. ut nom. sing. im Bergbaue, ein Arbeiter, der den Raum zu den Widerlagen in dem Gesteine aushauet.