Time evolution for infinitely many hard spheres