Categoricity of theories in L_kappa^* omega, when kappa^* is a measurable cardinal. Part II - Saharon Shelah (1996)