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