  Rigorous results on solutions of the Einstein-Vlasov system are surveyed.
After an introduction to this system of equations and the reasons for studying
it, a general discussion of various classes of solutions is given. The emphasis
is on presenting important conceptual ideas, while avoiding entering into
technical details. Topics covered include spatially homogenous models, static
solutions, spherically symmetric collapse and isotropic singularities.
