Leptothorax gredosi Espadaler & Collingwood, 1982: 42, figs. 1-14 (w.q.m.) SPAIN. Palearctic.

Primary type information: Primary type material: holotype worker. Primary type locality: Spain: Avila, Sierra de Gredos, 1400 m., 22-23.vii.1979 (X. Espadaler). Primary type depository: XEPC. Secondary type information: Secondary type material: 15 paratype workers, 12 paratype queens, 7 paratype males. Secondary type locality: same as for holotype. Secondary type depositories: MHNG, UABC, XEPC.