to repeal; to revoke; (computing) to undo