The local structure of length spaces with curvature bounded above

We show that a number of different notions of dimension coincide for length spaces with curvature bounded above. We then apply this result, showing that if X is a locally compact CAT(0) space with cocompact isometry group, then the dimension of the Tits boundary and the asymptotic cone(s) of X are determined by the maximal dimension of a flat in X.