Late Jurassic synapsids of Europe

Haldanodon is an extinct docodont mammaliaform which lived in the Upper Jurassic (Kimmeridgian, about 145 million years ago). Its fossil remains have been found in Portugal, in the well-known fossil locality of Guimarota, which is in the Alcobaça Formation. It may have been a semi-aquatic burrowing insectivore, similar in habits to desmans and the platypus. Several specimens are known, include a partial skeleton and well-preserved skulls.