The size of the singular set in mean curvature flow of mean-convex sets

We prove that when a compact mean-convex subset of (or of an -dimensional riemannian manifold) moves by mean-curvature, the spacetime singular set has parabolic hausdorff dimension at most . Examples show that this is optimal. We also show that, as , the surface converges to a compact stable minimal hypersurface whose singular set has dimension at most . If , the convergence is everywhere smooth and hence after some time , the moving surface has no singularities