. . "Thalattosuchia is the name given to a clade of marine crocodylomorphs from the Early Jurassic to the Early Cretaceous that had a cosmopolitan distribution. They are colloquially referred to as marine crocodiles or sea crocodiles, though they are not members of Crocodilia.The term Thalattosuchia was coined by Fraas in 1901. Various authors considered Thalattosuchia an infraorder or a suborder within \"Mesosuchia\"."@en .