Schmidt empleó el término más antiguo Crocodilia, basado en el nombre original del grupo que le había asignado Owen.