"play by that name" . . . "Tom Thumb (play)" . "''Tom Thumb''" . "Tom Thumb the Great" . . . . . "The Life and Death of Tom Thumb the Great" . . . . "''Tom Thumb'' (play)" . . . "Tom Thumb" . . "Tom Thumb (play)" . . . . . . . . . . .