WordNet (r) 3.0 (2006):

Archosauria
    n 1: a large subclass of diapsid reptiles including: crocodiles;
         alligators; dinosaurs; pterosaurs; plesiosaurs;
         ichthyosaurs; thecodonts [syn: Archosauria, subclass
         Archosauria]