A collection of  7 miniature tools incuding folding knives, saw, hammer, pick and shovels. Beautifully crafted and in all probability carved by a whaleman for a young son at home.
Walrus ivory.
Nineteenth century.
Length. About 130 mm. (5 1/4 inches).