Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories