Staphylinidae Latreille, 1802
Paratyphlus (Paratyphlus) algarvensis Coiffait, 1965
Paratyphlus (Paratyphlus) barcelonensis Coiffait, 1962
Paratyphlus (Paratyphlus) besucheti Coiffait, 1970
Paratyphlus (Paratyphlus) brazensis Coiffait, 1965
Paratyphlus (Paratyphlus) carvoeirensis Coiffait, 1970
Paratyphlus (Ischnotyphlus) comarrugi Coiffait, 1959
Paratyphlus (Paratyphlus) cristobali Coiffait, 1959
Paratyphlus (Paratyphlus) delicatulus Coiffait, 1965
Paratyphlus (Ischnotyphlus) episcopus Coiffait, 1965
Paratyphlus (Ischnotyphlus) ginestensis Coiffait, 1959
Paratyphlus (Paratyphlus) mallorcensis Coiffait, 1955
Paratyphlus (Ischnotyphlus) mateui Coiffait, 1955
Paratyphlus (Paratyphlus) menorquensis Coiffait, 1959
Paratyphlus (Ischnotyphlus) morandi Coiffait, 1957
Paratyphlus (Ischnotyphlus) necropolis Coiffait, 1959
Paratyphlus (Paratyphlus) pedroi Coiffait, 1957
Paratyphlus (Ischnotyphlus) serratensis Coiffait, 1957
Paratyphlus (Ischnotyphlus) sitgensis Coiffait, 1959
Paratyphlus (Paratyphlus) spiniphallus Coiffait, 1957
Paratyphlus (Ischnotyphlus) torressalai Coiffait, 1957
