Centemodon Dakosaurus Deinodon ? Deinodon horridus ? Dinosaurus gresslyi Gresslyosaurus Gresslyosaurus ingens Omosaurus armatus Palaeoscincus costatus Thespesius occidentalis Trachodon mirabilis Troodon Troodon formosus