Delete comp_preserves.thy