If these were chopped, they were for high-order uses like shipbuilding in the time of sail. They are too hard to saw to use as timbering in coal mines (which is assume where most wood has gone during the Industrial Revolution)?