I always tought it would make more sense to refer to these chords as diminished 6th chords. The double flat 7th makes for some strange enharmonic modulations. Ex;
Cdim7 (C Eb Gb Bbb) technically the Bbb would resolve to Cbb.