Equivariant K Theory for Proper Actions