Battle TARDIS

Battle TARDISes existed as the main form of TARDIS used in battle before the War with the Enemy and any other temporal wars. They could launch time torpedoes at an enemy vessel, such as another TARDIS. (BFA: Neverland)

Over a million Battle TARDISes were used by the Time Lords in the Last Great Time War. (NSA: Peacemaker)