Nonmonotonic Dynamics of Default Logic