How did you handle your kid's bully?

I got the district involved when he and another boy held my son against the wall and choked him, that boy was expelled from school in Grade School, he had a history of violence and eventually went on to bring a knife to school and cut another kid.