1: \begin{abstract}

2: We rework and generalize equivariant infinite loop space theory, which shows

3: how to construct $G$-spectra from $G$-spaces with suitable structure.  There is a 

4: naive version which gives naive $G$-spectra for any topological group $G$, but our 

5: focus is on the construction of genuine $G$-spectra when $G$ is finite. 

6: 

7: We give new information about the Segal and operadic equivariant infinite loop space

8: machines, supplying many details that are missing from the literature, and we prove by direct 

9: comparison that the two machines give equivalent output when fed equivalent input. The proof of the 

10: corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for naive 

11: $G$-spectra for general $G$ but fails hopelessly for genuine $G$-spectra when

12: $G$ is finite.  Even in the nonequivariant case, our comparison theorem is considerably

13: more precise, giving a direct point-set level comparison.  

14: 

15: We have taken the opportunity to update this general area, equivariant and nonequivariant,

16: giving many new proofs, filling in some gaps, and giving some corrections to results in the literature.

17: 

18: \end{abstract}

19: