tokens: Hij had voor zulke grote landreptielen al in 1830 een aparte indeling bedacht , die hij in 1845 de naam Pachypoda zou geven die het echter in de wetenschapsgeschiedenis af zou leggen tegen de door Richard Owen in 1842 benoemde Dinosauria .