Phylum [Vertebrata] Lamarck, 1801 see Infraphylum Vertebrata Lamarck, 1801 Class Reptilia Linnaeus, 1758 - reptiles Subclass Anapsida Osborn, 1903 - anapsids Order †Captorhinida Family †Procolophonidae Lydekker, 1889 Genus †Hypsognathus Gilmore, 1928