The equivariant homotopy type of G-ANR's for proper actions of locally compact groups
We prove that if G is a locally compact Hausdorff group then every proper G-ANR space has the G-homotopy type of a G-CW complex. This is applied to extend the James-Segal G-homotopy equivalence theorem to the case of arbitrary locally compact proper group actions.