What is the difference between repealed, revoked, annulled? When legislation is revoked is it still in force or obsolete? What about revoked legislation?