Update Component_def.thy