Definitions of thecodont:

• noun:   presumably in the common ancestral line to dinosaurs and crocodiles and birds