炭竜目
Gunnar Säve-Söderbergh によって記載された当初は、石炭紀からペルム紀初期に生息した水生の大型両生類を指す言葉だった。しかし アルフレッド・ローマー はこれを爬虫類に類似した迷歯類と再定義し、Säve-Söderbergh のそれをその中のエンボロメリ亜目とした。
分岐学の発展により更に新たな定義が生み出され、Michel Laurin は最も爬虫類に近い四肢動物であるディアデクテス形目とシームリア形目を指す言葉とし、Michael Benton は爬形上目からディアデクテス形目とシームリア形目とを除いた側系統群とした。
ウィキスピーシーズではローマーの定義を採用している。