†Procolophonia Seeley 1888 [Laurin & Reisz 1995]
   †Procolophonoidea Romer 1956 [Lee 1995] see Superfamily Procolophonoidea Cope, 1889
     †Owenettidae Broom 1939 [Lee 1995] see Family Owenettidae Broom, 1939
       Genus †Saurodektes Modesto, Damiani, Neveling & Yates, 2004
         1 †Saurodektes rogersorum (Modesto et al., 2003)