Family † Arctolepididae Heintz 1937, spelling in prevailing recent practice

† Arctolepidae Heintz 1937: 14 (family) † Arctolepis Eastman 1908 [family name also seen as † Arctolepididae]