Class Reptilia Linnaeus, 1758 - reptiles Subclass Anapsida Osborn, 1903 - anapsids Order †Cotylosauria Cope, 1880 Suborder †Procolophonia Seeley, 1888 see Clade Procolophonia Seeley 1888 [Laurin & Reisz 1995] Family †Nyctiphruretidae Efremov, 1938