Delete Component_def.thy