Pachylaelaps troglophilus Willmann, 1940

Pachylaelaps troglophilus Willmann, 1940: 214 . Type locality: Slovenia. According to Mašán (2007a: 220), incorrectly synonymised with Pachylaelaps magnus Halbert, 1915 by Koroleva (1977b: 420) and subsequent authors.

Pachylaelaps troglophilus .— Willmann, 1941: 24; Mašán, 2007a: 216, 220.

Pachylaelaps (Pachylaelaps) troglophilus .— Mašán, 2007a: 96.

Pachylaelaps magnus .— Schweizer, 1961: 101; Hirschmann & Krauss, 1965: 5; Koroleva, 1977b: 420; Karg, 1993: 119. Misidentification (Mašán, 2007a).

Pachylaelaps (Pachylaelaps) magnus .— Karg, 1971: 143. Misidentification (Mašán, 2007a).