Wiktionary
ostodolepid
n. Any of the extinct family Ostodolepidae of tuditanomorph microsaurs.