Lepidosauria Haeckel 1866 [Gauthier, Estes & de Queiroz 1988], nom. cl. inval. see Class Lepidosauria Haeckel, 1866 [Order] Sphenodontida Carroll, 1985 see Order Rhynchocephalia Günther, 1867