New haramiyidan and reptile fossils from a Rhaetian bedded sequence close to the famous 'Microlestes' Quarry of Holwell, UK

We describe here new Late Triassic haramiyidan mammaliaform and reptile fossils from near the classic 'Microlestes' Quarry' at Holwell, Somerset, U.K., where Charles Moore discovered a huge collection of microvertebrates in the 1850s. Moore's discoveries included the haramiyid Thomasia (formerly 'Microlestes' and Microcleptes) for which he achieved worldwide fame. Subsequently, despite much fossicking by researchers at Holwell, few new identifiable specimens of mammaliamorphs and lepidosaurs have been recorded and these were by Kuhne in 1939. The new finds described here from a bedded sequence, not from a fissure, add significantly to our knowledge of the Holwell tetrapods and to the Rhaetian terrestrial faunas of the SW U.K. Our discovery of haramiyidan teeth includes a previously unknown type of Theroteinus, a genus not previously recorded from outside of the St-Nicholas-de-Port locality in France. An archosaur tooth, possibly from a phytosaur, is also recorded. The new lepidosaur specimens add significant detail to the recently described 'basal' rhynchocephalian Penegephyrosaurus curtiscoppi as well as demonstrating that the global diversity of Lepidosauria in the Late Triassic remains incompletely known. (C) 2020 The Geologists' Association. Published by Elsevier Ltd. All rights reserved.