†Procolophonia Seeley 1888 [Laurin & Reisz 1995] Count: - 1 Genus †Macroleter Tverdokhlebova & Ivakhnenko, 1984 Count: [†*] †1s 2 †Procolophonoidea Romer 1956 [Lee 1995] see Superfamily Procolophonoidea Cope, 1889 Count: -