†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 †Barasaurus Piveteau, 1955 1 †Barasaurus besairei Bulanov, 2002, nom. inval. see Barasaurus besairiei Piveteau, 1955