re-added Component_def.thy