Time-dependent Hartree-Fock theory