Leidy (1856) proposed Deinodon horridus for a suite of isolated teeth of different forms, which he took to pertain to a single taxon. According to Hay (1899), Cope (1866) restricted the name Deinodon to those theeth not bladelike in form, allthough this is not clear from Cope's text. 

Leidy (1868) then restricted the name to the blade like teeth- just those excluded by Hay (1899)- and named the remaining three teeth Aublysodon mirandus . These teeth where the D-shaped cross section, and Leidy pointed out that such teeth were unknown in Laelaps and Megalosaurus. 

The smallest ot these teeth, which lacked serrations he tought might belong to "a different animal" Carpenter (1982) chose as laectotype for Aublysodon mirandus this smallest tooth. An incomplete theropod skull discovered in 1966, lacking the premaxilary, had appressed against it a premaxilary tooth that matched the lectortype of Aublysodon mirandus. This skull, the "Jordan theropod" (Molnar,1978) from the Maastrichtian Heel Creek Formation of Garfield Co., Montana (US), may belong to Ablysodon.