Auslander-Reiten theory in a Krull-Schmidt category