[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Subject Index][Author Index]
Re: What are these dinosaurs? 2: Return of What are these dinosaurs?
Dinosaurus is not just a junior synonym of Plateosaurus, it is actually a
therapsid (named by Fischer de Waldheim, 1847 for Rhopalodon murchisoni,
Fischer de Waldheim, 1845). The dinosaurian "Dinosaurus" is thus
preoccupied by the therapsid, so it can never be used for a dinosaur
anyway. Both Dinosaurusare very, very deep within the realm of nomen dubium
at least one therapsid worker has lumped Phthinosuchus in under Dinosaurus
[eep!]), and the best course is to forget this name completely.