  We establish a refinement of Marstrand's projection theorem for Hausdorff
dimension functions finer than the usual power functions, including an analogue
of Marstrand's Theorem for logarithmic Hausdorff dimension.
