Equivariant semi-topological K-homology and a theorem of Thomason

We generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.