†Parareptilia Olson 1947 [deBraga & Reisz 1996] see Subclass Parareptilia Olson, 1947 †Procolophonidae Lydekker 1889 [Laurin & Reisz 1995] see Family Procolophonidae Lydekker, 1889 Genus †Tichvinskia Chudinov & V'yushkov, 1956 [monotypic] †Tichvinskia vjatkensis Chudinov & Vjushkov, 1956