Delete strand_composition.thy