Homological stability of $Aut(F_n)$ revisited

We give another proof of a theorem of Hatcher and Vogtmann stating that the sequence $Aut(F_n)$ satisfies integral homological stability. The paper is for the most part expository, and we also explain Quillen’s method for proving homological stability.